Safe Haskell	None
Language	GHC2024

Napkin.Spec.ComboTypes

Contents

Orphan instances

Documentation

data ACInteractive #

Constructors

ACInteractive
ACWeb
ACNonInteractive

Instances

Instances details

Eq ACInteractive #
Instance details Defined in Napkin.Spec.ComboTypes Methods (==) :: ACInteractive -> ACInteractive -> Bool # (/=) :: ACInteractive -> ACInteractive -> Bool #

data RuntimeEventDAG (bk :: k) #

Constructors

RuntimeEventDAG (DAGRunState bk) TaskId (TaskState bk) UTCTime Estimate
RuntimeEventCompleteDAG (DAGRunState bk)

Instances

Instances details

(Show (TaskState backend), Show (BackendQueryStats backend)) => Show (RuntimeEventDAG backend) #
Instance details Defined in Napkin.Spec.ComboTypes Methods showsPrec :: Int -> RuntimeEventDAG backend -> ShowS # show :: RuntimeEventDAG backend -> String # showList :: [RuntimeEventDAG backend] -> ShowS #
(Eq (TaskState backend), Eq (BackendQueryStats backend)) => Eq (RuntimeEventDAG backend) #
Instance details Defined in Napkin.Spec.ComboTypes Methods (==) :: RuntimeEventDAG backend -> RuntimeEventDAG backend -> Bool # (/=) :: RuntimeEventDAG backend -> RuntimeEventDAG backend -> Bool #

type RuntimeEventQueueDAG (backend :: k) = TChan (RuntimeEventDAG backend) #

data ComboEnv (backend :: k) #

Constructors

ComboEnv
Fields appName :: AppName log :: LogEnv runId :: RunId

Instances

Instances details

Generic (ComboEnv backend) #

Instance details

Defined in Napkin.Spec.ComboTypes

Associated Types

type Rep (ComboEnv backend)

Instance details

Defined in Napkin.Spec.ComboTypes

type Rep (ComboEnv backend) = D1 ('MetaData "ComboEnv" "Napkin.Spec.ComboTypes" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) (C1 ('MetaCons "ComboEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "appName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AppName) :*: (S1 ('MetaSel ('Just "log") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogEnv) :*: S1 ('MetaSel ('Just "runId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RunId))))

Methods

from :: ComboEnv backend -> Rep (ComboEnv backend) x #

to :: Rep (ComboEnv backend) x -> ComboEnv backend #

type Rep (ComboEnv backend) #

Instance details

Defined in Napkin.Spec.ComboTypes

type Rep (ComboEnv backend) = D1 ('MetaData "ComboEnv" "Napkin.Spec.ComboTypes" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'False) (C1 ('MetaCons "ComboEnv" 'PrefixI 'True) (S1 ('MetaSel ('Just "appName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AppName) :*: (S1 ('MetaSel ('Just "log") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LogEnv) :*: S1 ('MetaSel ('Just "runId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RunId))))

type ComboT (backend :: k) (m :: Type -> Type) = ReaderT (ComboEnv backend) (KatipT m) #

type Combo (bk :: k) = ComboT bk IO #

newtype RunId #

Constructors

RunId Text

Instances

Instances details

FromJSON RunId #

Instance details

Defined in Napkin.Spec.ComboTypes

Methods

parseJSON :: Value -> Parser RunId #

parseJSONList :: Value -> Parser [RunId] #

omittedField :: Maybe RunId #

ToJSON RunId #

Instance details

Defined in Napkin.Spec.ComboTypes

Methods

toJSON :: RunId -> Value #

toEncoding :: RunId -> Encoding #

toJSONList :: [RunId] -> Value #

toEncodingList :: [RunId] -> Encoding #

omitField :: RunId -> Bool #

Buildable RunId #

Instance details

Defined in Napkin.Spec.ComboTypes

Methods

build :: RunId -> Builder #

IsString RunId #

Instance details

Defined in Napkin.Spec.ComboTypes

Methods

fromString :: String -> RunId #

Generic RunId #

Instance details

Defined in Napkin.Spec.ComboTypes

Associated Types

type Rep RunId
Instance details Defined in Napkin.Spec.ComboTypes type Rep RunId = D1 ('MetaData "RunId" "Napkin.Spec.ComboTypes" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'True) (C1 ('MetaCons "RunId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: RunId -> Rep RunId x #

to :: Rep RunId x -> RunId #

Show RunId #

Instance details

Defined in Napkin.Spec.ComboTypes

Methods

showsPrec :: Int -> RunId -> ShowS #

show :: RunId -> String #

showList :: [RunId] -> ShowS #

type Rep RunId #

Instance details

Defined in Napkin.Spec.ComboTypes

type Rep RunId = D1 ('MetaData "RunId" "Napkin.Spec.ComboTypes" "napkin-runtime-2.0.0-Ct8w2lsjRa3AUoSevHfCKx" 'True) (C1 ('MetaCons "RunId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newRunId :: MonadIO m => m RunId #

Orphan instances

MonadFix m => MonadFix (KatipT m) #
Instance details Methods mfix :: (a -> KatipT m a) -> KatipT m a #