sslang-0.1.0.0

Safe Haskell	None
Language	Haskell2010

IR.Constraint.Constrain.Pattern

Synopsis

type Header = Map Identifier Type
data State = State {
- _headers :: Header
- _vars :: [Variable]
- _revCons :: [Constraint]
}
add :: Alt Attachment -> Type -> State -> TC State
emptyState :: State
addBinder :: Binder Attachment -> Type -> State -> TC State
addToHeaders :: Identifier -> Type -> State -> State
addData :: TConId -> [TVarId] -> DConId -> [Type] -> [Alt Attachment] -> Type -> State -> TC State
addDataArg :: Map TVarId Type -> Type -> Alt Attachment -> State -> TC State
addLit :: Literal -> Type -> State -> State

Documentation

type Header = Map Identifier Type Source #

CONSTRAIN ALT

data State Source #

Constructors

State
Fields _headers :: Header _vars :: [Variable] _revCons :: [Constraint]

add :: Alt Attachment -> Type -> State -> TC State Source #

emptyState :: State Source #

addBinder :: Binder Attachment -> Type -> State -> TC State Source #

addToHeaders :: Identifier -> Type -> State -> State Source #

addData :: TConId -> [TVarId] -> DConId -> [Type] -> [Alt Attachment] -> Type -> State -> TC State Source #

addDataArg :: Map TVarId Type -> Type -> Alt Attachment -> State -> TC State Source #

addLit :: Literal -> Type -> State -> State Source #