DomainDriven.Server.Types

Documentation

data ApiSpec

Constructors

ApiSpec

Fields

• gadtName :: GadtName
• gadtType :: GadtType

  Name of the GADT representing the command

• allVarBindings :: VarBindings
• endpoints :: [ApiPiece]

  Endpoints created from the constructors of the GADT

• options :: ApiOptions

  The setting to use when generating part of the API

Instances

Generic ApiSpec

Defined in DomainDriven.Server.Types

Associated Types

type Rep ApiSpec :: Type -> Type

Methods

from :: ApiSpec -> Rep ApiSpec x

to :: Rep ApiSpec x -> ApiSpec

Show ApiSpec

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> ApiSpec -> ShowS

show :: ApiSpec -> String

showList :: [ApiSpec] -> ShowS

type Rep ApiSpec

Defined in DomainDriven.Server.Types

type Rep ApiSpec = D1 ('MetaData "ApiSpec" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "ApiSpec" 'PrefixI 'True) ((S1 ('MetaSel ('Just "gadtName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GadtName) :*: S1 ('MetaSel ('Just "gadtType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GadtType)) :*: (S1 ('MetaSel ('Just "allVarBindings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarBindings) :*: (S1 ('MetaSel ('Just "endpoints") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ApiPiece]) :*: S1 ('MetaSel ('Just "options") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ApiOptions)))))

data VarBindings

Constructors

VarBindings

Fields

• paramPart :: Name
• method :: Name
• return :: Name
• extra :: [TyVarBndr ()]

Instances

Generic VarBindings

Defined in DomainDriven.Server.Types

Associated Types

type Rep VarBindings :: Type -> Type

Methods

from :: VarBindings -> Rep VarBindings x

to :: Rep VarBindings x -> VarBindings

Show VarBindings

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> VarBindings -> ShowS

show :: VarBindings -> String

showList :: [VarBindings] -> ShowS

Eq VarBindings

Defined in DomainDriven.Server.Types

Methods

(==) :: VarBindings -> VarBindings -> Bool

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

type Rep VarBindings

Defined in DomainDriven.Server.Types

type Rep VarBindings = D1 ('MetaData "VarBindings" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "VarBindings" 'PrefixI 'True) ((S1 ('MetaSel ('Just "paramPart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "method") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :*: (S1 ('MetaSel ('Just "return") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "extra") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBndr ()]))))

data ApiOptions

Constructors

ApiOptions

Fields

• renameConstructor :: String -> String
• typenameSeparator :: String
• bodyNameBase :: Maybe String

Instances

Generic ApiOptions

Defined in DomainDriven.Server.Types

Associated Types

type Rep ApiOptions :: Type -> Type

Methods

from :: ApiOptions -> Rep ApiOptions x

to :: Rep ApiOptions x -> ApiOptions

Show ApiOptions

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> ApiOptions -> ShowS

show :: ApiOptions -> String

showList :: [ApiOptions] -> ShowS

type Rep ApiOptions

Defined in DomainDriven.Server.Types

type Rep ApiOptions = D1 ('MetaData "ApiOptions" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "ApiOptions" 'PrefixI 'True) (S1 ('MetaSel ('Just "renameConstructor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (String -> String)) :*: (S1 ('MetaSel ('Just "typenameSeparator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "bodyNameBase") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))))

defaultApiOptions :: ApiOptions

data Mutability

Constructors

Mutable

Immutable

Instances

Show Mutability

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> Mutability -> ShowS

show :: Mutability -> String

showList :: [Mutability] -> ShowS

Eq Mutability

Defined in DomainDriven.Server.Types

Methods

(==) :: Mutability -> Mutability -> Bool

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

data ApiPiece

Constructors

Endpoint ConstructorName ConstructorArgs VarBindings HandlerSettings Mutability EpReturnType

SubApi ConstructorName ConstructorArgs ApiSpec

Instances

Generic ApiPiece

Defined in DomainDriven.Server.Types

Associated Types

type Rep ApiPiece :: Type -> Type

Methods

from :: ApiPiece -> Rep ApiPiece x

to :: Rep ApiPiece x -> ApiPiece

Show ApiPiece

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> ApiPiece -> ShowS

show :: ApiPiece -> String

showList :: [ApiPiece] -> ShowS

type Rep ApiPiece

Defined in DomainDriven.Server.Types

type Rep ApiPiece = D1 ('MetaData "ApiPiece" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "Endpoint" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstructorName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstructorArgs) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VarBindings))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HandlerSettings) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Mutability) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpReturnType)))) :+: C1 ('MetaCons "SubApi" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstructorName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ConstructorArgs) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ApiSpec))))

data HandlerSettings

Constructors

HandlerSettings

Fields

• contentTypes :: Type
• verb :: Type

Instances

Generic HandlerSettings

Defined in DomainDriven.Server.Types

Associated Types

type Rep HandlerSettings :: Type -> Type

Methods

from :: HandlerSettings -> Rep HandlerSettings x

to :: Rep HandlerSettings x -> HandlerSettings

Show HandlerSettings

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> HandlerSettings -> ShowS

show :: HandlerSettings -> String

showList :: [HandlerSettings] -> ShowS

Eq HandlerSettings

Defined in DomainDriven.Server.Types

Methods

(==) :: HandlerSettings -> HandlerSettings -> Bool

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

type Rep HandlerSettings

Defined in DomainDriven.Server.Types

type Rep HandlerSettings = D1 ('MetaData "HandlerSettings" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "HandlerSettings" 'PrefixI 'True) (S1 ('MetaSel ('Just "contentTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Just "verb") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

newtype ConstructorName

Constructors

ConstructorName Name

Instances

Generic ConstructorName

Defined in DomainDriven.Server.Types

Associated Types

type Rep ConstructorName :: Type -> Type

Methods

from :: ConstructorName -> Rep ConstructorName x

to :: Rep ConstructorName x -> ConstructorName

Show ConstructorName

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> ConstructorName -> ShowS

show :: ConstructorName -> String

showList :: [ConstructorName] -> ShowS

Eq ConstructorName

Defined in DomainDriven.Server.Types

Methods

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

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

type Rep ConstructorName

Defined in DomainDriven.Server.Types

type Rep ConstructorName = D1 ('MetaData "ConstructorName" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'True) (C1 ('MetaCons "ConstructorName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))

newtype EpReturnType

Constructors

EpReturnType Type

Instances

Generic EpReturnType

Defined in DomainDriven.Server.Types

Associated Types

type Rep EpReturnType :: Type -> Type

Methods

from :: EpReturnType -> Rep EpReturnType x

to :: Rep EpReturnType x -> EpReturnType

Show EpReturnType

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> EpReturnType -> ShowS

show :: EpReturnType -> String

showList :: [EpReturnType] -> ShowS

Eq EpReturnType

Defined in DomainDriven.Server.Types

Methods

(==) :: EpReturnType -> EpReturnType -> Bool

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

type Rep EpReturnType

Defined in DomainDriven.Server.Types

type Rep EpReturnType = D1 ('MetaData "EpReturnType" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'True) (C1 ('MetaCons "EpReturnType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

newtype GadtName

Constructors

GadtName Name

Instances

Generic GadtName

Defined in DomainDriven.Server.Types

Associated Types

type Rep GadtName :: Type -> Type

Methods

from :: GadtName -> Rep GadtName x

to :: Rep GadtName x -> GadtName

Show GadtName

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> GadtName -> ShowS

show :: GadtName -> String

showList :: [GadtName] -> ShowS

Eq GadtName

Defined in DomainDriven.Server.Types

Methods

(==) :: GadtName -> GadtName -> Bool

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

type Rep GadtName

Defined in DomainDriven.Server.Types

type Rep GadtName = D1 ('MetaData "GadtName" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'True) (C1 ('MetaCons "GadtName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)))

newtype GadtType

Constructors

GadtType Type

Instances

Generic GadtType

Defined in DomainDriven.Server.Types

Associated Types

type Rep GadtType :: Type -> Type

Methods

from :: GadtType -> Rep GadtType x

to :: Rep GadtType x -> GadtType

Show GadtType

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> GadtType -> ShowS

show :: GadtType -> String

showList :: [GadtType] -> ShowS

Eq GadtType

Defined in DomainDriven.Server.Types

Methods

(==) :: GadtType -> GadtType -> Bool

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

type Rep GadtType

Defined in DomainDriven.Server.Types

type Rep GadtType = D1 ('MetaData "GadtType" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'True) (C1 ('MetaCons "GadtType" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

newtype UrlSegment

Constructors

UrlSegment String

Instances

Generic UrlSegment

Defined in DomainDriven.Server.Types

Associated Types

type Rep UrlSegment :: Type -> Type

Methods

from :: UrlSegment -> Rep UrlSegment x

to :: Rep UrlSegment x -> UrlSegment

Show UrlSegment

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> UrlSegment -> ShowS

show :: UrlSegment -> String

showList :: [UrlSegment] -> ShowS

Eq UrlSegment

Defined in DomainDriven.Server.Types

Methods

(==) :: UrlSegment -> UrlSegment -> Bool

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

type Rep UrlSegment

Defined in DomainDriven.Server.Types

type Rep UrlSegment = D1 ('MetaData "UrlSegment" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'True) (C1 ('MetaCons "UrlSegment" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype ConstructorArgs

Constructors

ConstructorArgs [(String, Type)]

Instances

Generic ConstructorArgs

Defined in DomainDriven.Server.Types

Associated Types

type Rep ConstructorArgs :: Type -> Type

Methods

from :: ConstructorArgs -> Rep ConstructorArgs x

to :: Rep ConstructorArgs x -> ConstructorArgs

Show ConstructorArgs

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> ConstructorArgs -> ShowS

show :: ConstructorArgs -> String

showList :: [ConstructorArgs] -> ShowS

Eq ConstructorArgs

Defined in DomainDriven.Server.Types

Methods

(==) :: ConstructorArgs -> ConstructorArgs -> Bool

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

type Rep ConstructorArgs

Defined in DomainDriven.Server.Types

type Rep ConstructorArgs = D1 ('MetaData "ConstructorArgs" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'True) (C1 ('MetaCons "ConstructorArgs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(String, Type)])))

newtype Runner

Constructors

Runner Type

Instances

Generic Runner

Defined in DomainDriven.Server.Types

Associated Types

type Rep Runner :: Type -> Type

Methods

from :: Runner -> Rep Runner x

to :: Rep Runner x -> Runner

Show Runner

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> Runner -> ShowS

show :: Runner -> String

showList :: [Runner] -> ShowS

Eq Runner

Defined in DomainDriven.Server.Types

Methods

(==) :: Runner -> Runner -> Bool

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

type Rep Runner

Defined in DomainDriven.Server.Types

type Rep Runner = D1 ('MetaData "Runner" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'True) (C1 ('MetaCons "Runner" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

data ServerInfo

Carries information regarding how the API looks at the place we're currently at.

Constructors

ServerInfo

Fields

• baseGadt :: GadtName

  Use as a prefix of all types

• currentGadt :: GadtName
• parentConstructors :: [ConstructorName]

  To create good names without conflict

• prefixSegments :: [UrlSegment]

  Used to give a good name to the request body

• options :: ApiOptions

  The current options

Instances

Generic ServerInfo

Defined in DomainDriven.Server.Types

Associated Types

type Rep ServerInfo :: Type -> Type

Methods

from :: ServerInfo -> Rep ServerInfo x

to :: Rep ServerInfo x -> ServerInfo

Show ServerInfo

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> ServerInfo -> ShowS

show :: ServerInfo -> String

showList :: [ServerInfo] -> ShowS

type Rep ServerInfo

Defined in DomainDriven.Server.Types

type Rep ServerInfo = D1 ('MetaData "ServerInfo" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "ServerInfo" 'PrefixI 'True) ((S1 ('MetaSel ('Just "baseGadt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GadtName) :*: S1 ('MetaSel ('Just "currentGadt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GadtName)) :*: (S1 ('MetaSel ('Just "parentConstructors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ConstructorName]) :*: (S1 ('MetaSel ('Just "prefixSegments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [UrlSegment]) :*: S1 ('MetaSel ('Just "options") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ApiOptions)))))

data ServerGenState

Constructors

ServerGenState

Fields

• info :: ServerInfo
• usedParamNames :: Set String

Instances

Generic ServerGenState

Defined in DomainDriven.Server.Types

Associated Types

type Rep ServerGenState :: Type -> Type

Methods

from :: ServerGenState -> Rep ServerGenState x

to :: Rep ServerGenState x -> ServerGenState

Show ServerGenState

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> ServerGenState -> ShowS

show :: ServerGenState -> String

showList :: [ServerGenState] -> ShowS

MonadState ServerGenState ServerGenM

Defined in DomainDriven.Server.Types

Methods

get :: ServerGenM ServerGenState

put :: ServerGenState -> ServerGenM ()

state :: (ServerGenState -> (a, ServerGenState)) -> ServerGenM a

type Rep ServerGenState

Defined in DomainDriven.Server.Types

type Rep ServerGenState = D1 ('MetaData "ServerGenState" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "ServerGenState" 'PrefixI 'True) (S1 ('MetaSel ('Just "info") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ServerInfo) :*: S1 ('MetaSel ('Just "usedParamNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set String))))

newtype ServerGenM a

Constructors

ServerGenM

Fields

• unServerGenM :: StateT ServerGenState Q a

Instances

MonadFail ServerGenM

Defined in DomainDriven.Server.Types

Methods

fail :: String -> ServerGenM a

Applicative ServerGenM

Defined in DomainDriven.Server.Types

Methods

pure :: a -> ServerGenM a

(<*>) :: ServerGenM (a -> b) -> ServerGenM a -> ServerGenM b

liftA2 :: (a -> b -> c) -> ServerGenM a -> ServerGenM b -> ServerGenM c

(*>) :: ServerGenM a -> ServerGenM b -> ServerGenM b

(<*) :: ServerGenM a -> ServerGenM b -> ServerGenM a

Functor ServerGenM

Defined in DomainDriven.Server.Types

Methods

fmap :: (a -> b) -> ServerGenM a -> ServerGenM b

(<$) :: a -> ServerGenM b -> ServerGenM a

Monad ServerGenM

Defined in DomainDriven.Server.Types

Methods

(>>=) :: ServerGenM a -> (a -> ServerGenM b) -> ServerGenM b

(>>) :: ServerGenM a -> ServerGenM b -> ServerGenM b

return :: a -> ServerGenM a

MonadState ServerGenState ServerGenM

Defined in DomainDriven.Server.Types

Methods

get :: ServerGenM ServerGenState

put :: ServerGenState -> ServerGenM ()

state :: (ServerGenState -> (a, ServerGenState)) -> ServerGenM a

data Pmatch

Constructors

Pmatch

Fields

• paramPart :: Name
• paramName :: String
• paramType :: Type

Instances

Generic Pmatch

Defined in DomainDriven.Server.Types

Associated Types

type Rep Pmatch :: Type -> Type

Methods

from :: Pmatch -> Rep Pmatch x

to :: Rep Pmatch x -> Pmatch

Show Pmatch

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> Pmatch -> ShowS

show :: Pmatch -> String

showList :: [Pmatch] -> ShowS

type Rep Pmatch

Defined in DomainDriven.Server.Types

type Rep Pmatch = D1 ('MetaData "Pmatch" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "Pmatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "paramPart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: (S1 ('MetaSel ('Just "paramName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "paramType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))

data ConstructorMatch

Constructors

ConstructorMatch

Fields

• xParam :: Name

  Of kind ParamPart

• constructorName :: Name
• parameters :: [Pmatch]
• finalType :: FinalConstructorTypeMatch

Instances

Generic ConstructorMatch

Defined in DomainDriven.Server.Types

Associated Types

type Rep ConstructorMatch :: Type -> Type

Methods

from :: ConstructorMatch -> Rep ConstructorMatch x

to :: Rep ConstructorMatch x -> ConstructorMatch

Show ConstructorMatch

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> ConstructorMatch -> ShowS

show :: ConstructorMatch -> String

showList :: [ConstructorMatch] -> ShowS

type Rep ConstructorMatch

Defined in DomainDriven.Server.Types

type Rep ConstructorMatch = D1 ('MetaData "ConstructorMatch" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "ConstructorMatch" 'PrefixI 'True) ((S1 ('MetaSel ('Just "xParam") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "constructorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :*: (S1 ('MetaSel ('Just "parameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pmatch]) :*: S1 ('MetaSel ('Just "finalType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FinalConstructorTypeMatch))))

data SubActionMatch

Constructors

SubActionMatch

Fields

• constructorName :: Name
• parameters :: [Pmatch]
• subActionName :: Name
• subActionType :: Type

Instances

Generic SubActionMatch

Defined in DomainDriven.Server.Types

Associated Types

type Rep SubActionMatch :: Type -> Type

Methods

from :: SubActionMatch -> Rep SubActionMatch x

to :: Rep SubActionMatch x -> SubActionMatch

Show SubActionMatch

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> SubActionMatch -> ShowS

show :: SubActionMatch -> String

showList :: [SubActionMatch] -> ShowS

type Rep SubActionMatch

Defined in DomainDriven.Server.Types

type Rep SubActionMatch = D1 ('MetaData "SubActionMatch" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "SubActionMatch" 'PrefixI 'True) ((S1 ('MetaSel ('Just "constructorName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "parameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pmatch])) :*: (S1 ('MetaSel ('Just "subActionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name) :*: S1 ('MetaSel ('Just "subActionType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))

data SubActionTypeMatch

Constructors

SubActionTypeMatch

Instances

Generic SubActionTypeMatch

Defined in DomainDriven.Server.Types

Associated Types

type Rep SubActionTypeMatch :: Type -> Type

Methods

from :: SubActionTypeMatch -> Rep SubActionTypeMatch x

to :: Rep SubActionTypeMatch x -> SubActionTypeMatch

Show SubActionTypeMatch

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> SubActionTypeMatch -> ShowS

show :: SubActionTypeMatch -> String

showList :: [SubActionTypeMatch] -> ShowS

type Rep SubActionTypeMatch

Defined in DomainDriven.Server.Types

type Rep SubActionTypeMatch = D1 ('MetaData "SubActionTypeMatch" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "SubActionTypeMatch" 'PrefixI 'False) (U1 :: Type -> Type))

data FinalConstructorTypeMatch

Constructors

FinalConstructorTypeMatch

Fields

• requestType :: RequestTypeMatch
• returnType :: Type

Instances

Generic FinalConstructorTypeMatch

Defined in DomainDriven.Server.Types

Associated Types

type Rep FinalConstructorTypeMatch :: Type -> Type

Methods

from :: FinalConstructorTypeMatch -> Rep FinalConstructorTypeMatch x

to :: Rep FinalConstructorTypeMatch x -> FinalConstructorTypeMatch

Show FinalConstructorTypeMatch

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> FinalConstructorTypeMatch -> ShowS

show :: FinalConstructorTypeMatch -> String

showList :: [FinalConstructorTypeMatch] -> ShowS

type Rep FinalConstructorTypeMatch

Defined in DomainDriven.Server.Types

type Rep FinalConstructorTypeMatch = D1 ('MetaData "FinalConstructorTypeMatch" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "FinalConstructorTypeMatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "requestType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RequestTypeMatch) :*: S1 ('MetaSel ('Just "returnType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

data RequestTypeMatch

Constructors

RequestTypeMatch

Fields

• accessType :: Type
• contentTypes :: Type
• verb :: Type

Instances

Generic RequestTypeMatch

Defined in DomainDriven.Server.Types

Associated Types

type Rep RequestTypeMatch :: Type -> Type

Methods

from :: RequestTypeMatch -> Rep RequestTypeMatch x

to :: Rep RequestTypeMatch x -> RequestTypeMatch

Show RequestTypeMatch

Defined in DomainDriven.Server.Types

Methods

showsPrec :: Int -> RequestTypeMatch -> ShowS

show :: RequestTypeMatch -> String

showList :: [RequestTypeMatch] -> ShowS

type Rep RequestTypeMatch

Defined in DomainDriven.Server.Types

type Rep RequestTypeMatch = D1 ('MetaData "RequestTypeMatch" "DomainDriven.Server.Types" "domaindriven-0.5.0-DXvek89qD5M1xwQ4V40Syp" 'False) (C1 ('MetaCons "RequestTypeMatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "accessType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: (S1 ('MetaSel ('Just "contentTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type) :*: S1 ('MetaSel ('Just "verb") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))