inventory-0.1.0.4: Project statistics and definition analysis

Safe Haskell	Safe-Inferred
Language	Haskell2010

MatchSigs.Matching.Env

Synopsis

data Env
(/\) :: State env Bool -> State env Bool -> State env Bool
checkOr :: [State env Bool] -> State env Bool
checkAnd :: [State Env Bool] -> State Env Bool
introVars :: [FreeVarIdx] -> [FreeVarIdx] -> State Env Bool
tryAssignVar :: FreeVarIdx -> FreeVarIdx -> State Env Bool
initEnv :: Env

Documentation

data Env Source #

Context for matching the free vars in two Sigs

(/\) :: State env Bool -> State env Bool -> State env Bool Source #

Logical conjuction

checkOr :: [State env Bool] -> State env Bool Source #

checkAnd :: [State Env Bool] -> State Env Bool Source #

introVars :: [FreeVarIdx] -> [FreeVarIdx] -> State Env Bool Source #

Add vars from both sigs to the context, accounting for level

tryAssignVar :: FreeVarIdx -> FreeVarIdx -> State Env Bool Source #

Identify var from one sig with var in other sig

initEnv :: Env Source #