Safe Haskell	Safe
Language	Haskell2010

Copilot.Core.Type

Contents

Orphan instances

Description

Typing for Core.

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
- Array :: forall n t. (KnownNat n, Typed t, Typed (InnerType t), Flatten t (InnerType t)) => Type t -> Type (Array n t)
- Struct :: (Typed a, Struct a) => a -> Type a
class (Show a, Typeable a) => Typed a where
- typeOf :: Type a
- simpleType :: Type a -> SimpleType
data UType = Typeable a => UType {
- uTypeType :: Type a
}
data SimpleType where
- SBool :: SimpleType
- SInt8 :: SimpleType
- SInt16 :: SimpleType
- SInt32 :: SimpleType
- SInt64 :: SimpleType
- SWord8 :: SimpleType
- SWord16 :: SimpleType
- SWord32 :: SimpleType
- SWord64 :: SimpleType
- SFloat :: SimpleType
- SDouble :: SimpleType
- SArray :: Type t -> SimpleType
- SStruct :: SimpleType
tysize :: forall n t. KnownNat n => Type (Array n t) -> Int
tylength :: forall n t. KnownNat n => Type (Array n t) -> Int
data Value a = (Typeable t, KnownSymbol s, Show t) => Value (Type t) (Field s t)
toValues :: Struct a => a -> [Value a]
data Field (s :: Symbol) t = Field t
typename :: Struct a => a -> String
class Struct a
fieldname :: forall s t. KnownSymbol s => Field s t -> String
accessorname :: forall a s t. (Struct a, KnownSymbol s) => (a -> Field s t) -> String

Documentation

data Type :: * -> * where Source #

Constructors

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
Array :: forall n t. (KnownNat n, Typed t, Typed (InnerType t), Flatten t (InnerType t)) => Type t -> Type (Array n t)
Struct :: (Typed a, Struct a) => a -> Type a

Instances

EqualType Type Source #
Instance details Defined in Copilot.Core.Type Methods (=~=) :: Type a -> Type b -> Maybe (Equal a b) Source #

class (Show a, Typeable a) => Typed a where Source #

Minimal complete definition

typeOf

Methods

typeOf :: Type a Source #

simpleType :: Type a -> SimpleType Source #

Instances

Typed Bool Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Bool Source # simpleType :: Type Bool -> SimpleType Source #
Typed Double Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Double Source # simpleType :: Type Double -> SimpleType Source #
Typed Float Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Float Source # simpleType :: Type Float -> SimpleType Source #
Typed Int8 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int8 Source # simpleType :: Type Int8 -> SimpleType Source #
Typed Int16 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int16 Source # simpleType :: Type Int16 -> SimpleType Source #
Typed Int32 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int32 Source # simpleType :: Type Int32 -> SimpleType Source #
Typed Int64 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Int64 Source # simpleType :: Type Int64 -> SimpleType Source #
Typed Word8 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word8 Source # simpleType :: Type Word8 -> SimpleType Source #
Typed Word16 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word16 Source # simpleType :: Type Word16 -> SimpleType Source #
Typed Word32 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word32 Source # simpleType :: Type Word32 -> SimpleType Source #
Typed Word64 Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type Word64 Source # simpleType :: Type Word64 -> SimpleType Source #
(Typeable t, Typed t, KnownNat n, Flatten t (InnerType t), Typed (InnerType t)) => Typed (Array n t) Source #
Instance details Defined in Copilot.Core.Type Methods typeOf :: Type (Array n t) Source # simpleType :: Type (Array n t) -> SimpleType Source #

data UType Source #

A untyped type (no phantom type).

Constructors

Typeable a => UType
Fields uTypeType :: Type a

Instances

Eq UType Source #
Instance details Defined in Copilot.Core.Type Methods (==) :: UType -> UType -> Bool # (/=) :: UType -> UType -> Bool #

data SimpleType where Source #

Constructors

SBool :: SimpleType
SInt8 :: SimpleType
SInt16 :: SimpleType
SInt32 :: SimpleType
SInt64 :: SimpleType
SWord8 :: SimpleType
SWord16 :: SimpleType
SWord32 :: SimpleType
SWord64 :: SimpleType
SFloat :: SimpleType
SDouble :: SimpleType
SArray :: Type t -> SimpleType
SStruct :: SimpleType

Instances

Eq SimpleType Source #
Instance details Defined in Copilot.Core.Type Methods (==) :: SimpleType -> SimpleType -> Bool # (/=) :: SimpleType -> SimpleType -> Bool #

tysize :: forall n t. KnownNat n => Type (Array n t) -> Int Source #

tylength :: forall n t. KnownNat n => Type (Array n t) -> Int Source #

data Value a Source #

Constructors

(Typeable t, KnownSymbol s, Show t) => Value (Type t) (Field s t)

toValues :: Struct a => a -> [Value a] Source #

data Field (s :: Symbol) t Source #

Constructors

Field t

Instances

(KnownSymbol s, Show t) => Show (Field s t) Source #
Instance details Defined in Copilot.Core.Type Methods showsPrec :: Int -> Field s t -> ShowS # show :: Field s t -> String # showList :: [Field s t] -> ShowS #

typename :: Struct a => a -> String Source #

class Struct a Source #

Minimal complete definition

typename, toValues

fieldname :: forall s t. KnownSymbol s => Field s t -> String Source #

accessorname :: forall a s t. (Struct a, KnownSymbol s) => (a -> Field s t) -> String Source #

Orphan instances

(Typed t, Struct t) => Show t Source #
Instance details Methods showsPrec :: Int -> t -> ShowS # show :: t -> String # showList :: [t] -> ShowS #