typed-wire-0.1.0.0: WIP: Language idependent type-safe communication

Safe Haskell	None
Language	Haskell2010

TW.Ast

Documentation

newtype ModuleName Source

Constructors

ModuleName
Fields unModuleName :: [Text]

Instances

Eq ModuleName Source
Ord ModuleName Source
Show ModuleName Source

printModuleName :: ModuleName -> Text Source

printModuleNameS :: ModuleName -> String Source

newtype TypeName Source

Constructors

TypeName
Fields unTypeName :: Text

Instances

Eq TypeName Source
Ord TypeName Source
Show TypeName Source

newtype TypeVar Source

Constructors

TypeVar
Fields unTypeVar :: Text

Instances

Eq TypeVar Source
Ord TypeVar Source
Show TypeVar Source

newtype FieldName Source

Constructors

FieldName
Fields unFieldName :: Text

Instances

Eq FieldName Source
Ord FieldName Source
Show FieldName Source

newtype ChoiceName Source

Constructors

ChoiceName
Fields unChoiceName :: Text

Instances

Eq ChoiceName Source
Ord ChoiceName Source
Show ChoiceName Source

data QualTypeName Source

Constructors

QualTypeName
Fields qtn_module :: ModuleName qtn_type :: TypeName

Instances

Eq QualTypeName Source
Ord QualTypeName Source
Show QualTypeName Source

data Module Source

Constructors

Module
Fields m_name :: ModuleName m_imports :: [ModuleName] m_typeDefs :: [TypeDef]

Instances

Eq Module Source
Show Module Source

data TypeDef Source

Constructors

TypeDefEnum EnumDef
TypeDefStruct StructDef

Instances

Eq TypeDef Source
Show TypeDef Source

data EnumDef Source

Constructors

EnumDef
Fields ed_name :: TypeName ed_args :: [TypeVar] ed_choices :: [EnumChoice]

Instances

Eq EnumDef Source
Show EnumDef Source

data EnumChoice Source

Constructors

EnumChoice
Fields ec_name :: ChoiceName ec_arg :: Maybe Type

Instances

Eq EnumChoice Source
Show EnumChoice Source

data StructDef Source

Constructors

StructDef
Fields sd_name :: TypeName sd_args :: [TypeVar] sd_fields :: [StructField]

Instances

Eq StructDef Source
Show StructDef Source

data StructField Source

Constructors

StructField
Fields sf_name :: FieldName sf_type :: Type

Instances

Eq StructField Source
Show StructField Source

data Type Source

Constructors

TyVar TypeVar
TyCon QualTypeName [Type]

Instances

Eq Type Source
Show Type Source