Searched refs:TCEnv (Results 1 – 5 of 5) sorted by relevance
2771 data TCEnv = type2909 initEnv :: TCEnv2968 lensTCEnv :: Lens' TCEnv a3025 eMakeCase :: Lens' Bool TCEnv3063 eRange :: Lens' Range TCEnv3835 mapRedEnv :: (TCEnv -> TCEnv) -> ReduceEnv -> ReduceEnv3841 mapRedEnvSt :: (TCEnv -> TCEnv) -> (TCState -> TCState) -> ReduceEnv4009 askTC :: m TCEnv4010 localTC :: (TCEnv -> TCEnv) -> m a -> m a4017 => (TCEnv -> TCEnv) -> m a -> m a[all …]
48 withEnv :: MonadTCEnv m => TCEnv -> m a -> m a55 getEnv :: TCM TCEnv91 updateAllowedReductions :: (AllowedReductions -> AllowedReductions) -> TCEnv -> TCEnv
25 data TCEnv27 newtype TCMT m a = TCM { unTCM :: IORef TCState -> TCEnv -> m a }
754 => TCState -> TCEnv -> QName -> m (Either SigError Definition)1134 treatAbstractly' :: QName -> TCEnv -> Bool
73 data ExitCode a = Continue | ContinueIn TCEnv | Return a