Base.GeneralType

Documentation

data 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 :: TextParser GeneralInstance

(Eq a, Ord a) => Bounded (GeneralType a)

Defined in Base.GeneralType

Methods

minBound :: GeneralType a

maxBound :: GeneralType a

Eq a => Eq (GeneralType a)

Defined in Base.GeneralType

Methods

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

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

Ord a => Ord (GeneralType a)

Defined in Base.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

(Eq a, Ord a) => Mergeable (GeneralType a)

Defined in Base.GeneralType

Methods

mergeAny :: Foldable f => f (GeneralType a) -> GeneralType a

mergeAll :: Foldable f => f (GeneralType a) -> GeneralType a

(Eq a, Ord a) => PreserveMerge (GeneralType a)

Defined in Base.GeneralType

Associated Types

type T (GeneralType a)

Methods

convertMerge :: Mergeable b => (T (GeneralType a) -> b) -> GeneralType a -> b

type T (GeneralType a)

Defined in Base.GeneralType

type T (GeneralType a) = a

dualGeneralType :: (Eq a, Ord a) => GeneralType a -> GeneralType a

mapGeneralType :: (Eq a, Ord a, Eq b, Ord b) => (a -> b) -> GeneralType a -> GeneralType b

singleType :: (Eq a, Ord a) => a -> GeneralType a