| Safe Haskell | None |
|---|
Language.Nano.Env
Description
Type Environments and Related Operations
- type Env t = SEnv (Located t)
- envFromList :: (PP x, IsLocated x, Symbolic x) => [(x, t)] -> Env t
- envToList :: SEnv (Located t) -> [(Id SourcePos, t)]
- envAdd :: (Symbolic a1, IsLocated a1) => a1 -> a -> SEnv (Located a) -> SEnv (Located a)
- envAdds :: (Symbolic a1, IsLocated a1) => [(a1, a)] -> SEnv (Located a) -> SEnv (Located a)
- envFindTy :: Symbolic a => a -> SEnv (Located b) -> Maybe b
- envAddReturn :: IsLocated a1 => a1 -> a -> SEnv (Located a) -> SEnv (Located a)
- envFindReturn :: SEnv (Located c) -> c
- envMem :: Symbolic a1 => a1 -> SEnv a -> Bool
- envMap :: Functor f => (a -> b) -> SEnv (f a) -> SEnv (f b)
- envLefts :: Env (Either a b) -> Env a
- envRights :: Env (Either a b) -> Env b
- envIntersectWith :: (a -> b -> c) -> Env a -> Env b -> Env c
- envEmpty :: SEnv a
- envSEnv :: Env a -> SEnv a
Documentation
envFromList :: (PP x, IsLocated x, Symbolic x) => [(x, t)] -> Env tSource
envAddReturn :: IsLocated a1 => a1 -> a -> SEnv (Located a) -> SEnv (Located a)Source
envFindReturn :: SEnv (Located c) -> cSource
envIntersectWith :: (a -> b -> c) -> Env a -> Env b -> Env cSource