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

PrimPointer

PrimIdentifier

Instances

Show PrimitiveType

Defined in Types.Builtin

Methods

showsPrec :: Int -> PrimitiveType -> ShowS

show :: PrimitiveType -> String

showList :: [PrimitiveType] -> ShowS

Eq PrimitiveType

Defined in Types.Builtin

Methods

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

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

boolRequiredValue :: ValueType

charRequiredValue :: ValueType

emptyType :: ValueType

floatRequiredValue :: ValueType

formattedRequiredValue :: ValueType

intRequiredValue :: ValueType

isIdentifierRequiredValue :: ValueType -> Bool

isPointerRequiredValue :: ValueType -> Bool

isOpaqueMulti :: ExpressionValue -> Bool

orderOptionalValue :: GeneralInstance -> ValueType

requiredStaticTypes :: Set CategoryName

stringRequiredValue :: ValueType