inventory-0.1.0.0: Project statistics and definition analysis
Safe HaskellNone
LanguageHaskell2010

MatchSigs.Matching.Env

Synopsis

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 #

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