Types

Documentation

data Module

Constructors

Module

Fields

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

Instances

Eq Module

Defined in Types

Methods

(==) :: Module -> Module -> Bool

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

Show Module

Defined in Types

Methods

showsPrec :: Int -> Module -> ShowS

show :: Module -> String

showList :: [Module] -> ShowS

newtype ModuleName

Constructors

ModuleName Text

Instances

Eq ModuleName

Defined in Types

Methods

(==) :: ModuleName -> ModuleName -> Bool

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

Ord ModuleName

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

Defined in Types

Methods

showsPrec :: Int -> ModuleName -> ShowS

show :: ModuleName -> String

showList :: [ModuleName] -> ShowS

newtype Import

Constructors

Import Module

Instances

Eq Import

Defined in Types

Methods

(==) :: Import -> Import -> Bool

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

Show Import

Defined in Types

Methods

showsPrec :: Int -> Import -> ShowS

show :: Import -> String

showList :: [Import] -> ShowS

newtype DefinitionName

Constructors

DefinitionName

Fields

• unDefinitionName :: Text

Instances

Eq DefinitionName

Defined in Types

Methods

(==) :: DefinitionName -> DefinitionName -> Bool

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

Show DefinitionName

Defined in Types

Methods

showsPrec :: Int -> DefinitionName -> ShowS

show :: DefinitionName -> String

showList :: [DefinitionName] -> ShowS

data TypeDefinition

Constructors

TypeDefinition !DefinitionName !TypeData

Instances

Eq TypeDefinition

Defined in Types

Methods

(==) :: TypeDefinition -> TypeDefinition -> Bool

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

Show TypeDefinition

Defined in Types

Methods

showsPrec :: Int -> TypeDefinition -> ShowS

show :: TypeDefinition -> String

showList :: [TypeDefinition] -> ShowS

data ImportedTypeDefinition

Constructors

ImportedTypeDefinition

Fields

• sourceModule :: !ModuleName
• name :: !DefinitionName
• typeData :: !TypeData

Instances

Eq ImportedTypeDefinition

Defined in Types

Methods

(==) :: ImportedTypeDefinition -> ImportedTypeDefinition -> Bool

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

Show ImportedTypeDefinition

Defined in Types

Methods

showsPrec :: Int -> ImportedTypeDefinition -> ShowS

show :: ImportedTypeDefinition -> String

showList :: [ImportedTypeDefinition] -> ShowS

newtype TypeTag

Constructors

TypeTag Text

Instances

Eq TypeTag

Defined in Types

Methods

(==) :: TypeTag -> TypeTag -> Bool

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

Show TypeTag

Defined in Types

Methods

showsPrec :: Int -> TypeTag -> ShowS

show :: TypeTag -> String

showList :: [TypeTag] -> ShowS

newtype TypeVariable

Constructors

TypeVariable Text

Instances

Eq TypeVariable

Defined in Types

Methods

(==) :: TypeVariable -> TypeVariable -> Bool

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

Show TypeVariable

Defined in Types

Methods

showsPrec :: Int -> TypeVariable -> ShowS

show :: TypeVariable -> String

showList :: [TypeVariable] -> ShowS

newtype ConstructorName

Constructors

ConstructorName Text

Instances

Eq ConstructorName

Defined in Types

Methods

(==) :: ConstructorName -> ConstructorName -> Bool

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

Show ConstructorName

Defined in Types

Methods

showsPrec :: Int -> ConstructorName -> ShowS

show :: ConstructorName -> String

showList :: [ConstructorName] -> ShowS

newtype FieldName

Constructors

FieldName Text

Instances

Eq FieldName

Defined in Types

Methods

(==) :: FieldName -> FieldName -> Bool

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

Show FieldName

Defined in Types

Methods

showsPrec :: Int -> FieldName -> ShowS

show :: FieldName -> String

showList :: [FieldName] -> ShowS

newtype EnumerationIdentifier

Constructors

EnumerationIdentifier Text

Instances

Eq EnumerationIdentifier

Defined in Types

Methods

(==) :: EnumerationIdentifier -> EnumerationIdentifier -> Bool

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

Show EnumerationIdentifier

Defined in Types

Methods

showsPrec :: Int -> EnumerationIdentifier -> ShowS

show :: EnumerationIdentifier -> String

showList :: [EnumerationIdentifier] -> ShowS

data TagType

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

Eq TagType

Defined in Types

Methods

(==) :: TagType -> TagType -> Bool

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

Show TagType

Defined in Types

Methods

showsPrec :: Int -> TagType -> ShowS

show :: TagType -> String

showList :: [TagType] -> ShowS

data TypeData

Constructors

Struct !StructType

Union !FieldName !UnionType

EmbeddedUnion !FieldName ![EmbeddedConstructor]

UntaggedUnion ![FieldType]

Enumeration ![EnumerationValue]

DeclaredType !ModuleName ![TypeVariable]

Instances

Eq TypeData

Defined in Types

Methods

(==) :: TypeData -> TypeData -> Bool

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

Show TypeData

Defined in Types

Methods

showsPrec :: Int -> TypeData -> ShowS

show :: TypeData -> String

showList :: [TypeData] -> ShowS

data EmbeddedConstructor

Constructors

EmbeddedConstructor !ConstructorName !(Maybe DefinitionReference)

Instances

Eq EmbeddedConstructor

Defined in Types

Methods

(==) :: EmbeddedConstructor -> EmbeddedConstructor -> Bool

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

Show EmbeddedConstructor

Defined in Types

Methods

showsPrec :: Int -> EmbeddedConstructor -> ShowS

show :: EmbeddedConstructor -> String

showList :: [EmbeddedConstructor] -> ShowS

data StructType

Constructors

PlainStruct ![StructField]

GenericStruct ![TypeVariable] ![StructField]

Instances

Eq StructType

Defined in Types

Methods

(==) :: StructType -> StructType -> Bool

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

Show StructType

Defined in Types

Methods

showsPrec :: Int -> StructType -> ShowS

show :: StructType -> String

showList :: [StructType] -> ShowS

data UnionType

Constructors

PlainUnion ![Constructor]

GenericUnion ![TypeVariable] ![Constructor]

Instances

Eq UnionType

Defined in Types

Methods

(==) :: UnionType -> UnionType -> Bool

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

Show UnionType

Defined in Types

Methods

showsPrec :: Int -> UnionType -> ShowS

show :: UnionType -> String

showList :: [UnionType] -> ShowS

data Constructor

Constructors

Constructor !ConstructorName !(Maybe FieldType)

Instances

Eq Constructor

Defined in Types

Methods

(==) :: Constructor -> Constructor -> Bool

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

Show Constructor

Defined in Types

Methods

showsPrec :: Int -> Constructor -> ShowS

show :: Constructor -> String

showList :: [Constructor] -> ShowS

data StructField

Constructors

StructField !FieldName !FieldType

Instances

Eq StructField

Defined in Types

Methods

(==) :: StructField -> StructField -> Bool

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

Show StructField

Defined in Types

Methods

showsPrec :: Int -> StructField -> ShowS

show :: StructField -> String

showList :: [StructField] -> ShowS

data EnumerationValue

Constructors

EnumerationValue !EnumerationIdentifier !LiteralTypeValue

Instances

Eq EnumerationValue

Defined in Types

Methods

(==) :: EnumerationValue -> EnumerationValue -> Bool

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

Show EnumerationValue

Defined in Types

Methods

showsPrec :: Int -> EnumerationValue -> ShowS

show :: EnumerationValue -> String

showList :: [EnumerationValue] -> ShowS

data FieldType

Constructors

LiteralType !LiteralTypeValue

BasicType !BasicTypeValue

ComplexType !ComplexTypeValue

DefinitionReferenceType !DefinitionReference

RecursiveReferenceType !DefinitionName

TypeVariableReferenceType !TypeVariable

Instances

Eq FieldType

Defined in Types

Methods

(==) :: FieldType -> FieldType -> Bool

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

Show FieldType

Defined in Types

Methods

showsPrec :: Int -> FieldType -> ShowS

show :: FieldType -> String

showList :: [FieldType] -> ShowS

data DefinitionReference

Constructors

DefinitionReference !TypeDefinition

ImportedDefinitionReference !ModuleName !TypeDefinition

AppliedGenericReference ![FieldType] !TypeDefinition

AppliedImportedGenericReference !ModuleName !AppliedTypes !TypeDefinition

DeclarationReference !ModuleName !DefinitionName

GenericDeclarationReference !ModuleName !DefinitionName !AppliedTypes

Instances

Eq DefinitionReference

Defined in Types

Methods

(==) :: DefinitionReference -> DefinitionReference -> Bool

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

Show DefinitionReference

Defined in Types

Methods

showsPrec :: Int -> DefinitionReference -> ShowS

show :: DefinitionReference -> String

showList :: [DefinitionReference] -> ShowS

newtype AppliedTypes

Constructors

AppliedTypes [FieldType]

Instances

Eq AppliedTypes

Defined in Types

Methods

(==) :: AppliedTypes -> AppliedTypes -> Bool

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

Show AppliedTypes

Defined in Types

Methods

showsPrec :: Int -> AppliedTypes -> ShowS

show :: AppliedTypes -> String

showList :: [AppliedTypes] -> ShowS

data BasicTypeValue

Constructors

U8

U16

U32

U64

U128

I8

I16

I32

I64

I128

F32

F64

Boolean

BasicString

Instances

Eq BasicTypeValue

Defined in Types

Methods

(==) :: BasicTypeValue -> BasicTypeValue -> Bool

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

Show BasicTypeValue

Defined in Types

Methods

showsPrec :: Int -> BasicTypeValue -> ShowS

show :: BasicTypeValue -> String

showList :: [BasicTypeValue] -> ShowS

data ComplexTypeValue

Constructors

SliceType FieldType

ArrayType Integer FieldType

OptionalType FieldType

PointerType FieldType

Instances

Eq ComplexTypeValue

Defined in Types

Methods

(==) :: ComplexTypeValue -> ComplexTypeValue -> Bool

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

Show ComplexTypeValue

Defined in Types

Methods

showsPrec :: Int -> ComplexTypeValue -> ShowS

show :: ComplexTypeValue -> String

showList :: [ComplexTypeValue] -> ShowS

data LiteralTypeValue

Constructors

LiteralString !Text

LiteralInteger !Integer

LiteralFloat !Float

LiteralBoolean !Bool

Instances

Eq LiteralTypeValue

Defined in Types

Methods

(==) :: LiteralTypeValue -> LiteralTypeValue -> Bool

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

Show LiteralTypeValue

Defined in Types

Methods

showsPrec :: Int -> LiteralTypeValue -> ShowS

show :: LiteralTypeValue -> String

showList :: [LiteralTypeValue] -> ShowS