Types.Builtin

Documentation

data ExpressionValue

Constructors

OpaqueMulti String

WrappedSingle String

UnwrappedSingle String

BoxedPrimitive PrimitiveType String

UnboxedPrimitive PrimitiveType String

LazySingle ExpressionValue

Instances

Show ExpressionValue

Defined in Types.Builtin

Methods

showsPrec :: Int -> ExpressionValue -> ShowS

show :: ExpressionValue -> String

showList :: [ExpressionValue] -> ShowS

data PrimitiveType

Constructors

PrimBool

PrimChar

PrimInt

PrimFloat

PrimString

Instances

Eq PrimitiveType

Defined in Types.Builtin

Methods

(==) :: PrimitiveType -> PrimitiveType -> Bool

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

Show PrimitiveType

Defined in Types.Builtin

Methods

showsPrec :: Int -> PrimitiveType -> ShowS

show :: PrimitiveType -> String

showList :: [PrimitiveType] -> ShowS

boolRequiredValue :: ValueType

charRequiredValue :: ValueType

defaultCategories :: CategoryMap c

emptyType :: ValueType

floatRequiredValue :: ValueType

formattedRequiredValue :: ValueType

intRequiredValue :: ValueType

isOpaqueMulti :: ExpressionValue -> Bool

orderOptionalValue :: GeneralInstance -> ValueType

stringRequiredValue :: ValueType