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