| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Napkin.Run.Effects.Languages.ExternalCreate
Documentation
type CommandArg = Text #
data ExternalCreate m a where #
Constructors
| CreateTableWithExternalCommand' :: Ref Table -> Command -> [CommandArg] -> MetaArguments -> ExternalCreate m (Either Text ExitCode) |
Instances
| GShow (ExternalCreate t :: Type -> Type) # | |
Defined in Napkin.Run.Effects.Languages.ExternalCreate Methods gshowsPrec :: forall (a :: k). Int -> ExternalCreate t a -> ShowS # | |
| GEq (ExternalCreate a :: Type -> Type) # | |
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) # | |
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) # | |
Defined in Napkin.Run.Effects.Languages.ExternalCreate Methods showsPrec :: Int -> ExternalCreate m a -> ShowS # show :: ExternalCreate m a -> String # showList :: [ExternalCreate m a] -> ShowS # | |
createTableWithExternalCommand' :: forall r. MemberWithError ExternalCreate r => Ref Table -> Command -> [CommandArg] -> MetaArguments -> Sem r (Either Text ExitCode) #
createTableWithExternalCommand :: forall effs. Members [FatalError, ExternalCreate, Input MetaArguments] effs => Ref Table -> Command -> [CommandArg] -> Sem effs () #