Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2003-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.Constrain

Contents

Description

constraint resolution

Synopsis

Documentation

data Constrain Source #

Instances

Eq Constrain Source # 

Methods

(==) :: Constrain -> Constrain -> Bool

(/=) :: Constrain -> Constrain -> Bool

Data Constrain Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Constrain -> c Constrain

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Constrain

toConstr :: Constrain -> Constr

dataTypeOf :: Constrain -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Constrain)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Constrain)

gmapT :: (forall b. Data b => b -> b) -> Constrain -> Constrain

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Constrain -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Constrain -> r

gmapQ :: (forall d. Data d => d -> u) -> Constrain -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Constrain -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Constrain -> m Constrain

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Constrain -> m Constrain

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Constrain -> m Constrain

Ord Constrain Source # 

Methods

compare :: Constrain -> Constrain -> Ordering

(<) :: Constrain -> Constrain -> Bool

(<=) :: Constrain -> Constrain -> Bool

(>) :: Constrain -> Constrain -> Bool

(>=) :: Constrain -> Constrain -> Bool

max :: Constrain -> Constrain -> Constrain

min :: Constrain -> Constrain -> Constrain

Show Constrain Source # 

Methods

showsPrec :: Int -> Constrain -> ShowS

show :: Constrain -> String

showList :: [Constrain] -> ShowS

partitionC :: Constraints -> (Constraints, Constraints) Source #

partition into qualification and subtyping constraints

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

convert subtypings constrains to a pair list

fromTypeMap :: TypeMap -> Rel Type Source #

the type relation of declared types

Orphan instances