typed-wire-0.3.0.0: 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

newtype ApiName Source

Constructors

ApiName
Fields unApiName :: Text

Instances

Eq ApiName Source
Ord ApiName Source
Show ApiName Source

newtype EndpointName Source

Constructors

EndpointName
Fields unEndpointName :: Text

Instances

Eq EndpointName Source
Ord EndpointName Source
Show EndpointName 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] m_apis :: [ApiDef]

Instances

Eq Module Source
Show Module Source

data ApiDef Source

Constructors

ApiDef
Fields ad_name :: ApiName ad_headers :: [ApiHeader] ad_endpoints :: [ApiEndpointDef]

Instances

Eq ApiDef Source
Show ApiDef Source

data ApiEndpointDef Source

Constructors

ApiEndpointDef
Fields aed_name :: EndpointName aed_verb :: StdMethod aed_route :: [ApiRouteComp] aed_headers :: [ApiHeader] aed_req :: Maybe Type aed_resp :: Type

Instances

Eq ApiEndpointDef Source
Show ApiEndpointDef Source

data ApiRouteComp Source

Constructors

ApiRouteStatic Text
ApiRouteDynamic Type

Instances

Eq ApiRouteComp Source
Show ApiRouteComp Source

data ApiHeader Source

Constructors

ApiHeader
Fields ah_name :: Text ah_value :: ApiHeaderValue

Instances

Eq ApiHeader Source
Show ApiHeader Source

data ApiHeaderValue Source

Constructors

ApiHeaderValueStatic Text
ApiHeaderValueDynamic

Instances

Eq ApiHeaderValue Source
Show ApiHeaderValue 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