Nix.Type.Env

Documentation

newtype Env

Constructors

TypeEnv (Map VarName [Scheme])

Instances

Monoid Env

Defined in Nix.Type.Env

Methods

mempty :: Env

mappend :: Env -> Env -> Env

mconcat :: [Env] -> Env

Semigroup Env

Defined in Nix.Type.Env

Methods

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

sconcat :: NonEmpty Env -> Env

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

Show Env

Defined in Nix.Type.Env

Methods

showsPrec :: Int -> Env -> ShowS

show :: Env -> String

showList :: [Env] -> ShowS

Eq Env

Defined in Nix.Type.Env

Methods

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

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

One Env

Defined in Nix.Type.Env

Associated Types

type OneItem Env

Methods

one :: OneItem Env -> Env

type OneItem Env

Defined in Nix.Type.Env

type OneItem Env = (VarName, Scheme)

empty :: Env

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

remove :: Env -> VarName -> Env

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

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

merge :: Env -> Env -> Env

mergeEnvs :: [Env] -> Env

singleton :: VarName -> Scheme -> Env

keys :: Env -> [VarName]

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

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