napkin-0.5.12
Safe HaskellNone
LanguageHaskell2010

Napkin.Run.Effects.Languages.ExternalCreate

Documentation

type Command = Text #

data ExternalCreate m a where #

Instances

Instances details
ToDumpItem (ExternalCreate :: (Type -> Type) -> Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Interceptors.LogProgram

Methods

toDumpItem :: forall (r :: EffectRow) (x :: k). ExternalCreate (Sem r) x -> DumpItem #

GShow (ExternalCreate t :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.ExternalCreate

Methods

gshowsPrec :: forall (a :: k). Int -> ExternalCreate t a -> ShowS #

GEq (ExternalCreate a :: Type -> Type) # 
Instance details

Defined in Napkin.Run.Effects.Languages.ExternalCreate

Methods

geq :: forall (a0 :: k) (b :: k). ExternalCreate a a0 -> ExternalCreate a b -> Maybe (a0 :~: b) #

Eq (ExternalCreate m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.ExternalCreate

Show (ExternalCreate m a) # 
Instance details

Defined in Napkin.Run.Effects.Languages.ExternalCreate