Nix.Type.Env

Documentation

newtype Env

Constructors

TypeEnv

Fields

• types :: Map Name [Scheme]

Instances

Eq Env

Defined in Nix.Type.Env

Methods

(==) :: Env -> Env -> Bool

(/=) :: Env -> Env -> Bool

Show Env

Defined in Nix.Type.Env

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

Semigroup Env

Defined in Nix.Type.Env

Methods

(<>) :: Env -> Env -> Env

sconcat :: NonEmpty Env -> Env

stimes :: Integral b => b -> Env -> Env

Monoid Env

Defined in Nix.Type.Env

Methods

mempty :: Env

mappend :: Env -> Env -> Env

mconcat :: [Env] -> Env

empty :: Env

lookup :: Name -> Env -> Maybe [Scheme]

remove :: Env -> Name -> Env

extend :: Env -> (Name, [Scheme]) -> Env

extends :: Env -> [(Name, [Scheme])] -> Env

merge :: Env -> Env -> Env

mergeEnvs :: [Env] -> Env

singleton :: Name -> Scheme -> Env

keys :: Env -> [Name]

fromList :: [(Name, [Scheme])] -> Env

toList :: Env -> [(Name, [Scheme])]