123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960 |
- module Gidl.Types.Base
- ( uint8_t
- , uint16_t
- , uint32_t
- , uint64_t
- , sint8_t
- , sint16_t
- , sint32_t
- , sint64_t
- , bool_t
- , float_t
- , double_t
- , baseTypeEnv
- ) where
- import Gidl.Types.AST
- uint8_t :: Type
- uint8_t = AtomType (AtomWord Bits8)
- uint16_t :: Type
- uint16_t = AtomType (AtomWord Bits16)
- uint32_t :: Type
- uint32_t = AtomType (AtomWord Bits32)
- uint64_t :: Type
- uint64_t = AtomType (AtomWord Bits64)
- sint8_t :: Type
- sint8_t = AtomType (AtomInt Bits8)
- sint16_t :: Type
- sint16_t = AtomType (AtomInt Bits16)
- sint32_t :: Type
- sint32_t = AtomType (AtomInt Bits32)
- sint64_t :: Type
- sint64_t = AtomType (AtomInt Bits64)
- bool_t :: Type
- bool_t = EnumType (EnumT Bits8 [("false", 0), ("true", 1)])
- float_t :: Type
- float_t = AtomType AtomFloat
- double_t :: Type
- double_t = AtomType AtomDouble
- baseTypeEnv :: TypeEnv
- baseTypeEnv = TypeEnv
- [ ( "uint8_t" , uint8_t)
- , ( "uint16_t", uint16_t)
- , ( "uint32_t", uint32_t)
- , ( "uint64_t", uint64_t)
- , ( "sint8_t" , sint8_t)
- , ( "sint16_t", sint16_t)
- , ( "sint32_t", sint32_t)
- , ( "sint64_t", sint64_t)
- , ( "bool_t" , bool_t)
- , ( "float_t" , float_t)
- , ( "double_t", double_t)
- ]
|