sslang-0.1.0.0

Safe Haskell	None
Language	Haskell2010

IR.Constraint.Constrain.Annotation

Synopsis

type RigidMap = Map TVarId Variable
data State = State {
- _rigidMap :: RigidMap
- _flex :: [Variable]
}
withAnnotations :: [Annotation] -> Type -> (Type -> TC Constraint) -> TC Constraint
add :: Annotation -> TC (State, Type)
addTypeWithHoles :: Type -> State -> TC (State, Type)
emptyState :: State

Documentation

type RigidMap = Map TVarId Variable Source #

CONSTRAIN ANNOTATION

data State Source #

Constructors

State
Fields _rigidMap :: RigidMap _flex :: [Variable]

withAnnotations :: [Annotation] -> Type -> (Type -> TC Constraint) -> TC Constraint Source #

add :: Annotation -> TC (State, Type) Source #

addTypeWithHoles :: Type -> State -> TC (State, Type) Source #

emptyState :: State Source #