Copilot.Core.Type

Description

Synopsis

• data Type :: * -> * where
  • Bool :: Type Bool
  • Int8 :: Type Int8
  • Int16 :: Type Int16
  • Int32 :: Type Int32
  • Int64 :: Type Int64
  • Word8 :: Type Word8
  • Word16 :: Type Word16
  • Word32 :: Type Word32
  • Word64 :: Type Word64
  • Float :: Type Float
  • Double :: Type Double
• class Typed a where
  • typeOf :: Type a
  • simpleType :: Type a -> SimpleType
• data UType = forall a . UType {
  • uTypeType :: Type a
  }
• data SimpleType
  • = SBool
  • | SInt8
  • | SInt16
  • | SInt32
  • | SInt64
  • | SWord8
  • | SWord16
  • | SWord32
  • | SWord64
  • | SFloat
  • | SDouble

Documentation