Safe Haskell	None
Language	Haskell2010

Types

Synopsis

data Module = Module {
- name :: !ModuleName
- imports :: ![Import]
- declarationNames :: ![ModuleName]
- definitions :: ![TypeDefinition]
- sourceFile :: !FilePath
}
newtype ModuleName = ModuleName Text
newtype Import = Import Module
newtype DefinitionName = DefinitionName {
- unDefinitionName :: Text
}
data TypeDefinition = TypeDefinition !DefinitionName !TypeData
data ImportedTypeDefinition = ImportedTypeDefinition {
- sourceModule :: !ModuleName
- name :: !DefinitionName
- typeData :: !TypeData
}
newtype TypeTag = TypeTag Text
newtype TypeVariable = TypeVariable Text
newtype ConstructorName = ConstructorName Text
newtype FieldName = FieldName Text
newtype EnumerationIdentifier = EnumerationIdentifier Text
data TagType
- = EmbeddedTypeTag FieldName
- | StandardTypeTag FieldName
data TypeData
- = Struct !StructType
- | Union !FieldName !UnionType
- | EmbeddedUnion !FieldName ![EmbeddedConstructor]
- | UntaggedUnion ![FieldType]
- | Enumeration ![EnumerationValue]
- | DeclaredType !ModuleName ![TypeVariable]
data EmbeddedConstructor = EmbeddedConstructor !ConstructorName !(Maybe DefinitionReference)
data StructType
- = PlainStruct ![StructField]
- | GenericStruct ![TypeVariable] ![StructField]
data UnionType
- = PlainUnion ![Constructor]
- | GenericUnion ![TypeVariable] ![Constructor]
data Constructor = Constructor !ConstructorName !(Maybe FieldType)
data StructField = StructField !FieldName !FieldType
data EnumerationValue = EnumerationValue !EnumerationIdentifier !LiteralTypeValue
data FieldType
- = LiteralType !LiteralTypeValue
- | BasicType !BasicTypeValue
- | ComplexType !ComplexTypeValue
- | DefinitionReferenceType !DefinitionReference
- | RecursiveReferenceType !DefinitionName
- | TypeVariableReferenceType !TypeVariable
data DefinitionReference
- = DefinitionReference !TypeDefinition
- | ImportedDefinitionReference !ModuleName !TypeDefinition
- | AppliedGenericReference ![FieldType] !TypeDefinition
- | AppliedImportedGenericReference !ModuleName !AppliedTypes !TypeDefinition
- | DeclarationReference !ModuleName !DefinitionName
- | GenericDeclarationReference !ModuleName !DefinitionName !AppliedTypes
newtype AppliedTypes = AppliedTypes [FieldType]
data BasicTypeValue
- = U8
- | U16
- | U32
- | U64
- | U128
- | I8
- | I16
- | I32
- | I64
- | I128
- | F32
- | F64
- | Boolean
- | BasicString
data ComplexTypeValue
- = SliceType FieldType
- | ArrayType Integer FieldType
- | OptionalType FieldType
- | PointerType FieldType
data LiteralTypeValue
- = LiteralString !Text
- | LiteralInteger !Integer
- | LiteralFloat !Float
- | LiteralBoolean !Bool

Documentation

data Module Source #

Constructors

Module
Fields name :: !ModuleName imports :: ![Import] declarationNames :: ![ModuleName] definitions :: ![TypeDefinition] sourceFile :: !FilePath

Instances

Instances details

Eq Module Source #
Instance details Defined in Types Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Show Module Source #
Instance details Defined in Types Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #

newtype ModuleName Source #

Constructors

ModuleName Text

Instances

Instances details

Eq ModuleName Source #
Instance details Defined in Types Methods (==) :: ModuleName -> ModuleName -> Bool # (/=) :: ModuleName -> ModuleName -> Bool #
Ord ModuleName Source #
Instance details Defined in Types Methods compare :: ModuleName -> ModuleName -> Ordering # (<) :: ModuleName -> ModuleName -> Bool # (<=) :: ModuleName -> ModuleName -> Bool # (>) :: ModuleName -> ModuleName -> Bool # (>=) :: ModuleName -> ModuleName -> Bool # max :: ModuleName -> ModuleName -> ModuleName # min :: ModuleName -> ModuleName -> ModuleName #
Show ModuleName Source #
Instance details Defined in Types Methods showsPrec :: Int -> ModuleName -> ShowS # show :: ModuleName -> String # showList :: [ModuleName] -> ShowS #

newtype Import Source #

Constructors

Import Module

Instances

Instances details

Eq Import Source #
Instance details Defined in Types Methods (==) :: Import -> Import -> Bool # (/=) :: Import -> Import -> Bool #
Show Import Source #
Instance details Defined in Types Methods showsPrec :: Int -> Import -> ShowS # show :: Import -> String # showList :: [Import] -> ShowS #

newtype DefinitionName Source #

Constructors

DefinitionName
Fields unDefinitionName :: Text

Instances

Instances details

Eq DefinitionName Source #
Instance details Defined in Types Methods (==) :: DefinitionName -> DefinitionName -> Bool # (/=) :: DefinitionName -> DefinitionName -> Bool #
Show DefinitionName Source #
Instance details Defined in Types Methods showsPrec :: Int -> DefinitionName -> ShowS # show :: DefinitionName -> String # showList :: [DefinitionName] -> ShowS #

data TypeDefinition Source #

Constructors

TypeDefinition !DefinitionName !TypeData

Instances

Instances details

Eq TypeDefinition Source #
Instance details Defined in Types Methods (==) :: TypeDefinition -> TypeDefinition -> Bool # (/=) :: TypeDefinition -> TypeDefinition -> Bool #
Show TypeDefinition Source #
Instance details Defined in Types Methods showsPrec :: Int -> TypeDefinition -> ShowS # show :: TypeDefinition -> String # showList :: [TypeDefinition] -> ShowS #

data ImportedTypeDefinition Source #

Constructors

ImportedTypeDefinition
Fields sourceModule :: !ModuleName name :: !DefinitionName typeData :: !TypeData

Instances

Instances details

Eq ImportedTypeDefinition Source #
Instance details Defined in Types Methods (==) :: ImportedTypeDefinition -> ImportedTypeDefinition -> Bool # (/=) :: ImportedTypeDefinition -> ImportedTypeDefinition -> Bool #
Show ImportedTypeDefinition Source #
Instance details Defined in Types Methods showsPrec :: Int -> ImportedTypeDefinition -> ShowS # show :: ImportedTypeDefinition -> String # showList :: [ImportedTypeDefinition] -> ShowS #

newtype TypeTag Source #

Constructors

TypeTag Text

Instances

Instances details

Eq TypeTag Source #
Instance details Defined in Types Methods (==) :: TypeTag -> TypeTag -> Bool # (/=) :: TypeTag -> TypeTag -> Bool #
Show TypeTag Source #
Instance details Defined in Types Methods showsPrec :: Int -> TypeTag -> ShowS # show :: TypeTag -> String # showList :: [TypeTag] -> ShowS #

newtype TypeVariable Source #

Constructors

TypeVariable Text

Instances

Instances details

Eq TypeVariable Source #
Instance details Defined in Types Methods (==) :: TypeVariable -> TypeVariable -> Bool # (/=) :: TypeVariable -> TypeVariable -> Bool #
Show TypeVariable Source #
Instance details Defined in Types Methods showsPrec :: Int -> TypeVariable -> ShowS # show :: TypeVariable -> String # showList :: [TypeVariable] -> ShowS #

newtype ConstructorName Source #

Constructors

ConstructorName Text

Instances

Instances details

Eq ConstructorName Source #
Instance details Defined in Types Methods (==) :: ConstructorName -> ConstructorName -> Bool # (/=) :: ConstructorName -> ConstructorName -> Bool #
Show ConstructorName Source #
Instance details Defined in Types Methods showsPrec :: Int -> ConstructorName -> ShowS # show :: ConstructorName -> String # showList :: [ConstructorName] -> ShowS #

newtype FieldName Source #

Constructors

FieldName Text

Instances

Instances details

Eq FieldName Source #
Instance details Defined in Types Methods (==) :: FieldName -> FieldName -> Bool # (/=) :: FieldName -> FieldName -> Bool #
Show FieldName Source #
Instance details Defined in Types Methods showsPrec :: Int -> FieldName -> ShowS # show :: FieldName -> String # showList :: [FieldName] -> ShowS #

newtype EnumerationIdentifier Source #

Constructors

EnumerationIdentifier Text

Instances

Instances details

Eq EnumerationIdentifier Source #
Instance details Defined in Types Methods (==) :: EnumerationIdentifier -> EnumerationIdentifier -> Bool # (/=) :: EnumerationIdentifier -> EnumerationIdentifier -> Bool #
Show EnumerationIdentifier Source #
Instance details Defined in Types Methods showsPrec :: Int -> EnumerationIdentifier -> ShowS # show :: EnumerationIdentifier -> String # showList :: [EnumerationIdentifier] -> ShowS #

data TagType Source #

Defines what type tag field a union should have as well as the type tag location.

Constructors

EmbeddedTypeTag FieldName	The union has the type tag with the rest of the payload.
StandardTypeTag FieldName	The union has the type tag outside of the payload, wrapping it.

Instances

Instances details

Eq TagType Source #
Instance details Defined in Types Methods (==) :: TagType -> TagType -> Bool # (/=) :: TagType -> TagType -> Bool #
Show TagType Source #
Instance details Defined in Types Methods showsPrec :: Int -> TagType -> ShowS # show :: TagType -> String # showList :: [TagType] -> ShowS #

data TypeData Source #

Constructors

Struct !StructType
Union !FieldName !UnionType
EmbeddedUnion !FieldName ![EmbeddedConstructor]
UntaggedUnion ![FieldType]
Enumeration ![EnumerationValue]
DeclaredType !ModuleName ![TypeVariable]

Instances

Instances details

Eq TypeData Source #
Instance details Defined in Types Methods (==) :: TypeData -> TypeData -> Bool # (/=) :: TypeData -> TypeData -> Bool #
Show TypeData Source #
Instance details Defined in Types Methods showsPrec :: Int -> TypeData -> ShowS # show :: TypeData -> String # showList :: [TypeData] -> ShowS #

data EmbeddedConstructor Source #

Constructors

EmbeddedConstructor !ConstructorName !(Maybe DefinitionReference)

Instances

Instances details

Eq EmbeddedConstructor Source #
Instance details Defined in Types Methods (==) :: EmbeddedConstructor -> EmbeddedConstructor -> Bool # (/=) :: EmbeddedConstructor -> EmbeddedConstructor -> Bool #
Show EmbeddedConstructor Source #
Instance details Defined in Types Methods showsPrec :: Int -> EmbeddedConstructor -> ShowS # show :: EmbeddedConstructor -> String # showList :: [EmbeddedConstructor] -> ShowS #

data StructType Source #

Constructors

PlainStruct ![StructField]
GenericStruct ![TypeVariable] ![StructField]

Instances

Instances details

Eq StructType Source #
Instance details Defined in Types Methods (==) :: StructType -> StructType -> Bool # (/=) :: StructType -> StructType -> Bool #
Show StructType Source #
Instance details Defined in Types Methods showsPrec :: Int -> StructType -> ShowS # show :: StructType -> String # showList :: [StructType] -> ShowS #

data UnionType Source #

Constructors

PlainUnion ![Constructor]
GenericUnion ![TypeVariable] ![Constructor]

Instances

Instances details

Eq UnionType Source #
Instance details Defined in Types Methods (==) :: UnionType -> UnionType -> Bool # (/=) :: UnionType -> UnionType -> Bool #
Show UnionType Source #
Instance details Defined in Types Methods showsPrec :: Int -> UnionType -> ShowS # show :: UnionType -> String # showList :: [UnionType] -> ShowS #

data Constructor Source #

Constructors

Constructor !ConstructorName !(Maybe FieldType)

Instances

Instances details

Eq Constructor Source #
Instance details Defined in Types Methods (==) :: Constructor -> Constructor -> Bool # (/=) :: Constructor -> Constructor -> Bool #
Show Constructor Source #
Instance details Defined in Types Methods showsPrec :: Int -> Constructor -> ShowS # show :: Constructor -> String # showList :: [Constructor] -> ShowS #

data StructField Source #

Constructors

StructField !FieldName !FieldType

Instances

Instances details

Eq StructField Source #
Instance details Defined in Types Methods (==) :: StructField -> StructField -> Bool # (/=) :: StructField -> StructField -> Bool #
Show StructField Source #
Instance details Defined in Types Methods showsPrec :: Int -> StructField -> ShowS # show :: StructField -> String # showList :: [StructField] -> ShowS #

data EnumerationValue Source #

Constructors

EnumerationValue !EnumerationIdentifier !LiteralTypeValue

Instances

Instances details

Eq EnumerationValue Source #
Instance details Defined in Types Methods (==) :: EnumerationValue -> EnumerationValue -> Bool # (/=) :: EnumerationValue -> EnumerationValue -> Bool #
Show EnumerationValue Source #
Instance details Defined in Types Methods showsPrec :: Int -> EnumerationValue -> ShowS # show :: EnumerationValue -> String # showList :: [EnumerationValue] -> ShowS #

data FieldType Source #

Constructors

LiteralType !LiteralTypeValue
BasicType !BasicTypeValue
ComplexType !ComplexTypeValue
DefinitionReferenceType !DefinitionReference
RecursiveReferenceType !DefinitionName
TypeVariableReferenceType !TypeVariable

Instances

Instances details

Eq FieldType Source #
Instance details Defined in Types Methods (==) :: FieldType -> FieldType -> Bool # (/=) :: FieldType -> FieldType -> Bool #
Show FieldType Source #
Instance details Defined in Types Methods showsPrec :: Int -> FieldType -> ShowS # show :: FieldType -> String # showList :: [FieldType] -> ShowS #

data DefinitionReference Source #

Constructors

DefinitionReference !TypeDefinition
ImportedDefinitionReference !ModuleName !TypeDefinition
AppliedGenericReference ![FieldType] !TypeDefinition
AppliedImportedGenericReference !ModuleName !AppliedTypes !TypeDefinition
DeclarationReference !ModuleName !DefinitionName
GenericDeclarationReference !ModuleName !DefinitionName !AppliedTypes

Instances

Instances details

Eq DefinitionReference Source #
Instance details Defined in Types Methods (==) :: DefinitionReference -> DefinitionReference -> Bool # (/=) :: DefinitionReference -> DefinitionReference -> Bool #
Show DefinitionReference Source #
Instance details Defined in Types Methods showsPrec :: Int -> DefinitionReference -> ShowS # show :: DefinitionReference -> String # showList :: [DefinitionReference] -> ShowS #

newtype AppliedTypes Source #

Constructors

AppliedTypes [FieldType]

Instances

Instances details

Eq AppliedTypes Source #
Instance details Defined in Types Methods (==) :: AppliedTypes -> AppliedTypes -> Bool # (/=) :: AppliedTypes -> AppliedTypes -> Bool #
Show AppliedTypes Source #
Instance details Defined in Types Methods showsPrec :: Int -> AppliedTypes -> ShowS # show :: AppliedTypes -> String # showList :: [AppliedTypes] -> ShowS #

data BasicTypeValue Source #

Constructors

U8
U16
U32
U64
U128
I8
I16
I32
I64
I128
F32
F64
Boolean
BasicString

Instances

Instances details

Eq BasicTypeValue Source #
Instance details Defined in Types Methods (==) :: BasicTypeValue -> BasicTypeValue -> Bool # (/=) :: BasicTypeValue -> BasicTypeValue -> Bool #
Show BasicTypeValue Source #
Instance details Defined in Types Methods showsPrec :: Int -> BasicTypeValue -> ShowS # show :: BasicTypeValue -> String # showList :: [BasicTypeValue] -> ShowS #

data ComplexTypeValue Source #

Constructors

SliceType FieldType
ArrayType Integer FieldType
OptionalType FieldType
PointerType FieldType

Instances

Instances details

Eq ComplexTypeValue Source #
Instance details Defined in Types Methods (==) :: ComplexTypeValue -> ComplexTypeValue -> Bool # (/=) :: ComplexTypeValue -> ComplexTypeValue -> Bool #
Show ComplexTypeValue Source #
Instance details Defined in Types Methods showsPrec :: Int -> ComplexTypeValue -> ShowS # show :: ComplexTypeValue -> String # showList :: [ComplexTypeValue] -> ShowS #

data LiteralTypeValue Source #

Constructors

LiteralString !Text
LiteralInteger !Integer
LiteralFloat !Float
LiteralBoolean !Bool

Instances

Instances details

Eq LiteralTypeValue Source #
Instance details Defined in Types Methods (==) :: LiteralTypeValue -> LiteralTypeValue -> Bool # (/=) :: LiteralTypeValue -> LiteralTypeValue -> Bool #
Show LiteralTypeValue Source #
Instance details Defined in Types Methods showsPrec :: Int -> LiteralTypeValue -> ShowS # show :: LiteralTypeValue -> String # showList :: [LiteralTypeValue] -> ShowS #