Safe Haskell	None
Language	Haskell2010

TW.Ast

Documentation

newtype ModuleName Source #

Constructors

ModuleName
Fields unModuleName :: [Text]

Instances

Eq ModuleName Source #
Methods (==) :: ModuleName -> ModuleName -> Bool # (/=) :: ModuleName -> ModuleName -> Bool #
Ord ModuleName Source #
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 #
Methods showsPrec :: Int -> ModuleName -> ShowS # show :: ModuleName -> String # showList :: [ModuleName] -> ShowS #

printModuleName :: ModuleName -> Text Source #

printModuleNameS :: ModuleName -> String Source #

newtype TypeName Source #

Constructors

TypeName
Fields unTypeName :: Text

Instances

Eq TypeName Source #
Methods (==) :: TypeName -> TypeName -> Bool # (/=) :: TypeName -> TypeName -> Bool #
Ord TypeName Source #
Methods compare :: TypeName -> TypeName -> Ordering # (<) :: TypeName -> TypeName -> Bool # (<=) :: TypeName -> TypeName -> Bool # (>) :: TypeName -> TypeName -> Bool # (>=) :: TypeName -> TypeName -> Bool # max :: TypeName -> TypeName -> TypeName # min :: TypeName -> TypeName -> TypeName #
Show TypeName Source #
Methods showsPrec :: Int -> TypeName -> ShowS # show :: TypeName -> String # showList :: [TypeName] -> ShowS #

newtype TypeVar Source #

Constructors

TypeVar
Fields unTypeVar :: Text

Instances

Eq TypeVar Source #
Methods (==) :: TypeVar -> TypeVar -> Bool # (/=) :: TypeVar -> TypeVar -> Bool #
Ord TypeVar Source #
Methods compare :: TypeVar -> TypeVar -> Ordering # (<) :: TypeVar -> TypeVar -> Bool # (<=) :: TypeVar -> TypeVar -> Bool # (>) :: TypeVar -> TypeVar -> Bool # (>=) :: TypeVar -> TypeVar -> Bool # max :: TypeVar -> TypeVar -> TypeVar # min :: TypeVar -> TypeVar -> TypeVar #
Show TypeVar Source #
Methods showsPrec :: Int -> TypeVar -> ShowS # show :: TypeVar -> String # showList :: [TypeVar] -> ShowS #

newtype FieldName Source #

Constructors

FieldName
Fields unFieldName :: Text

Instances

Eq FieldName Source #
Methods (==) :: FieldName -> FieldName -> Bool # (/=) :: FieldName -> FieldName -> Bool #
Ord FieldName Source #
Methods compare :: FieldName -> FieldName -> Ordering # (<) :: FieldName -> FieldName -> Bool # (<=) :: FieldName -> FieldName -> Bool # (>) :: FieldName -> FieldName -> Bool # (>=) :: FieldName -> FieldName -> Bool # max :: FieldName -> FieldName -> FieldName # min :: FieldName -> FieldName -> FieldName #
Show FieldName Source #
Methods showsPrec :: Int -> FieldName -> ShowS # show :: FieldName -> String # showList :: [FieldName] -> ShowS #

newtype ChoiceName Source #

Constructors

ChoiceName
Fields unChoiceName :: Text

Instances

Eq ChoiceName Source #
Methods (==) :: ChoiceName -> ChoiceName -> Bool # (/=) :: ChoiceName -> ChoiceName -> Bool #
Ord ChoiceName Source #
Methods compare :: ChoiceName -> ChoiceName -> Ordering # (<) :: ChoiceName -> ChoiceName -> Bool # (<=) :: ChoiceName -> ChoiceName -> Bool # (>) :: ChoiceName -> ChoiceName -> Bool # (>=) :: ChoiceName -> ChoiceName -> Bool # max :: ChoiceName -> ChoiceName -> ChoiceName # min :: ChoiceName -> ChoiceName -> ChoiceName #
Show ChoiceName Source #
Methods showsPrec :: Int -> ChoiceName -> ShowS # show :: ChoiceName -> String # showList :: [ChoiceName] -> ShowS #

newtype ApiName Source #

Constructors

ApiName
Fields unApiName :: Text

Instances

Eq ApiName Source #
Methods (==) :: ApiName -> ApiName -> Bool # (/=) :: ApiName -> ApiName -> Bool #
Ord ApiName Source #
Methods compare :: ApiName -> ApiName -> Ordering # (<) :: ApiName -> ApiName -> Bool # (<=) :: ApiName -> ApiName -> Bool # (>) :: ApiName -> ApiName -> Bool # (>=) :: ApiName -> ApiName -> Bool # max :: ApiName -> ApiName -> ApiName # min :: ApiName -> ApiName -> ApiName #
Show ApiName Source #
Methods showsPrec :: Int -> ApiName -> ShowS # show :: ApiName -> String # showList :: [ApiName] -> ShowS #

newtype EndpointName Source #

Constructors

EndpointName
Fields unEndpointName :: Text

Instances

Eq EndpointName Source #
Methods (==) :: EndpointName -> EndpointName -> Bool # (/=) :: EndpointName -> EndpointName -> Bool #
Ord EndpointName Source #
Methods compare :: EndpointName -> EndpointName -> Ordering # (<) :: EndpointName -> EndpointName -> Bool # (<=) :: EndpointName -> EndpointName -> Bool # (>) :: EndpointName -> EndpointName -> Bool # (>=) :: EndpointName -> EndpointName -> Bool # max :: EndpointName -> EndpointName -> EndpointName # min :: EndpointName -> EndpointName -> EndpointName #
Show EndpointName Source #
Methods showsPrec :: Int -> EndpointName -> ShowS # show :: EndpointName -> String # showList :: [EndpointName] -> ShowS #

data QualTypeName Source #

Constructors

QualTypeName
Fields qtn_module :: ModuleName qtn_type :: TypeName

Instances

Eq QualTypeName Source #
Methods (==) :: QualTypeName -> QualTypeName -> Bool # (/=) :: QualTypeName -> QualTypeName -> Bool #
Ord QualTypeName Source #
Methods compare :: QualTypeName -> QualTypeName -> Ordering # (<) :: QualTypeName -> QualTypeName -> Bool # (<=) :: QualTypeName -> QualTypeName -> Bool # (>) :: QualTypeName -> QualTypeName -> Bool # (>=) :: QualTypeName -> QualTypeName -> Bool # max :: QualTypeName -> QualTypeName -> QualTypeName # min :: QualTypeName -> QualTypeName -> QualTypeName #
Show QualTypeName Source #
Methods showsPrec :: Int -> QualTypeName -> ShowS # show :: QualTypeName -> String # showList :: [QualTypeName] -> ShowS #

data Module Source #

Constructors

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

Instances

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

data ApiDef Source #

Constructors

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

Instances

Eq ApiDef Source #
Methods (==) :: ApiDef -> ApiDef -> Bool # (/=) :: ApiDef -> ApiDef -> Bool #
Show ApiDef Source #
Methods showsPrec :: Int -> ApiDef -> ShowS # show :: ApiDef -> String # showList :: [ApiDef] -> ShowS #

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 #
Methods (==) :: ApiEndpointDef -> ApiEndpointDef -> Bool # (/=) :: ApiEndpointDef -> ApiEndpointDef -> Bool #
Show ApiEndpointDef Source #
Methods showsPrec :: Int -> ApiEndpointDef -> ShowS # show :: ApiEndpointDef -> String # showList :: [ApiEndpointDef] -> ShowS #

data ApiRouteComp Source #

Constructors

ApiRouteStatic Text
ApiRouteDynamic Type

Instances

Eq ApiRouteComp Source #
Methods (==) :: ApiRouteComp -> ApiRouteComp -> Bool # (/=) :: ApiRouteComp -> ApiRouteComp -> Bool #
Show ApiRouteComp Source #
Methods showsPrec :: Int -> ApiRouteComp -> ShowS # show :: ApiRouteComp -> String # showList :: [ApiRouteComp] -> ShowS #

data ApiHeader Source #

Constructors

ApiHeader
Fields ah_name :: Text ah_value :: ApiHeaderValue

Instances

Eq ApiHeader Source #
Methods (==) :: ApiHeader -> ApiHeader -> Bool # (/=) :: ApiHeader -> ApiHeader -> Bool #
Show ApiHeader Source #
Methods showsPrec :: Int -> ApiHeader -> ShowS # show :: ApiHeader -> String # showList :: [ApiHeader] -> ShowS #

data ApiHeaderValue Source #

Constructors

ApiHeaderValueStatic Text
ApiHeaderValueDynamic

Instances

Eq ApiHeaderValue Source #
Methods (==) :: ApiHeaderValue -> ApiHeaderValue -> Bool # (/=) :: ApiHeaderValue -> ApiHeaderValue -> Bool #
Show ApiHeaderValue Source #
Methods showsPrec :: Int -> ApiHeaderValue -> ShowS # show :: ApiHeaderValue -> String # showList :: [ApiHeaderValue] -> ShowS #

data TypeDef Source #

Constructors

TypeDefEnum EnumDef
TypeDefStruct StructDef

Instances

Eq TypeDef Source #
Methods (==) :: TypeDef -> TypeDef -> Bool # (/=) :: TypeDef -> TypeDef -> Bool #
Show TypeDef Source #
Methods showsPrec :: Int -> TypeDef -> ShowS # show :: TypeDef -> String # showList :: [TypeDef] -> ShowS #

data EnumDef Source #

Constructors

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

Instances

Eq EnumDef Source #
Methods (==) :: EnumDef -> EnumDef -> Bool # (/=) :: EnumDef -> EnumDef -> Bool #
Show EnumDef Source #
Methods showsPrec :: Int -> EnumDef -> ShowS # show :: EnumDef -> String # showList :: [EnumDef] -> ShowS #

data EnumChoice Source #

Constructors

EnumChoice
Fields ec_name :: ChoiceName ec_arg :: Maybe Type

Instances

Eq EnumChoice Source #
Methods (==) :: EnumChoice -> EnumChoice -> Bool # (/=) :: EnumChoice -> EnumChoice -> Bool #
Show EnumChoice Source #
Methods showsPrec :: Int -> EnumChoice -> ShowS # show :: EnumChoice -> String # showList :: [EnumChoice] -> ShowS #

data StructDef Source #

Constructors

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

Instances

Eq StructDef Source #
Methods (==) :: StructDef -> StructDef -> Bool # (/=) :: StructDef -> StructDef -> Bool #
Show StructDef Source #
Methods showsPrec :: Int -> StructDef -> ShowS # show :: StructDef -> String # showList :: [StructDef] -> ShowS #

data StructField Source #

Constructors

StructField
Fields sf_name :: FieldName sf_type :: Type

Instances

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

data Type Source #

Constructors

TyVar TypeVar
TyCon QualTypeName [Type]

Instances

Eq Type Source #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Show Type Source #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #