Types.GeneralType

Documentation

data GeneralType a

Constructors

SingleType

Fields

• stType :: a

TypeMerge

Fields

• tmMerge :: MergeType
• tmTypes :: [GeneralType a]

Instances

Show GeneralInstance

Defined in Types.TypeInstance

Methods

showsPrec :: Int -> GeneralInstance -> ShowS

show :: GeneralInstance -> String

showList :: [GeneralInstance] -> ShowS

ParseFromSource GeneralInstance

Defined in Parser.TypeInstance

Methods

sourceParser :: Parser GeneralInstance

Eq a => Eq (GeneralType a)

Defined in Types.GeneralType

Methods

(==) :: GeneralType a -> GeneralType a -> Bool

(/=) :: GeneralType a -> GeneralType a -> Bool

Ord a => Ord (GeneralType a)

Defined in Types.GeneralType

Methods

compare :: GeneralType a -> GeneralType a -> Ordering

(<) :: GeneralType a -> GeneralType a -> Bool

(<=) :: GeneralType a -> GeneralType a -> Bool

(>) :: GeneralType a -> GeneralType a -> Bool

(>=) :: GeneralType a -> GeneralType a -> Bool

max :: GeneralType a -> GeneralType a -> GeneralType a

min :: GeneralType a -> GeneralType a -> GeneralType a

data MergeType

Constructors

MergeUnion

MergeIntersect

Instances

Eq MergeType

Defined in Types.GeneralType

Methods

(==) :: MergeType -> MergeType -> Bool

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

Ord MergeType

Defined in Types.GeneralType

Methods

compare :: MergeType -> MergeType -> Ordering

(<) :: MergeType -> MergeType -> Bool

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

(>) :: MergeType -> MergeType -> Bool

(>=) :: MergeType -> MergeType -> Bool

max :: MergeType -> MergeType -> MergeType

min :: MergeType -> MergeType -> MergeType

checkGeneralType :: (MergeableM m, Mergeable c) => (a -> b -> m c) -> GeneralType a -> GeneralType b -> m c