Type.CheckSig

Documentation

checkSig :: Var -> Type -> Var -> Type -> [Error]

check :: (?boundSig :: [(Var, Kind)]) -> (?boundSch :: [(Var, Kind)]) -> Type -> Type -> [Error]

checkEs :: (?boundSig :: [(Var, Kind)]) -> (?boundSch :: [(Var, Kind)]) -> [Effect] -> [Effect] -> [Error]

effMatch :: Effect -> Effect -> Bool

Produced by Haddock version 0.7