Safe Haskell	None
Language	Haskell2010

Napkin.Run.Effects.Languages.ExternalCreate

Documentation

data ExternalCreate m a where #

Constructors

Instances details

ToDumpItem (b :: k) (ExternalCreate :: (Type -> Type) -> Type -> Type) #
Instance details Defined in Napkin.Run.Effects.Interceptors.LogProgram Methods toDumpItem :: forall (r :: EffectRow) (x :: k0). ExternalCreate (Sem r) x -> DumpItem b #
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 Methods (==) :: ExternalCreate m a -> ExternalCreate m a -> Bool # (/=) :: ExternalCreate m a -> ExternalCreate m a -> Bool #
Show (ExternalCreate m a) #
Instance details Defined in Napkin.Run.Effects.Languages.ExternalCreate Methods showsPrec :: Int -> ExternalCreate m a -> ShowS # show :: ExternalCreate m a -> String # showList :: [ExternalCreate m a] -> ShowS #