Hets - the Heterogeneous Tool Set Source code Contents Index

HasCASL.Constrain Portability portable Stability experimental Maintainer Christian.Maeder@dfki.de

Description

constraint resolution

Synopsis

type Constraints = Set Constrain data Constrain = Kinding Type Kind | Subtyping Type Type noC :: Constraints substC :: Subst -> Constraints -> Constraints joinC :: Constraints -> Constraints -> Constraints insertC :: Constrain -> Constraints -> Constraints partitionC :: Constraints -> (Constraints, Constraints) toListC :: Constraints -> [(Type, Type)] shapeRelAndSimplify :: Bool -> Env -> Constraints -> Maybe Type -> State Int (Result (Subst, Constraints)) fromTypeMap :: TypeMap -> Rel Type

Documentation

type Constraints = Set Constrain

data Constrain

Constructors Kinding Type Kind Subtyping Type Type Instances Eq Constrain Ord Constrain Show Constrain Typeable Constrain ShATermConvertible Constrain GetRange Constrain Pretty Constrain

noC :: Constraints

substC :: Subst -> Constraints -> Constraints

joinC :: Constraints -> Constraints -> Constraints

insertC :: Constrain -> Constraints -> Constraints

partitionC :: Constraints -> (Constraints, Constraints)

partition into qualification and subtyping constraints

toListC :: Constraints -> [(Type, Type)]

convert subtypings constrains to a pair list

shapeRelAndSimplify :: Bool -> Env -> Constraints -> Maybe Type -> State Int (Result (Subst, Constraints))

fromTypeMap :: TypeMap -> Rel Type

the type relation of declared types

Produced by Haddock version 2.4.2