Searched refs:ConcreteMode (Results 1 – 2 of 2) sorted by relevance
1099 inConcreteMode = localTC $ \e -> e { envAbstractMode = ConcreteMode }1136 ConcreteMode -> True
2925 , envAbstractMode = ConcreteMode3161 | ConcreteMode -- ^ No abstract things can be accessed. constructor3167 aDefToMode ConcreteDef = ConcreteMode3171 aModeToDef ConcreteMode = Just ConcreteDef function