Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data StreamSpecification Source #
Instances
SingKind StreamSpecification Source # | |
Defined in Axel.Eff.Process type Demote StreamSpecification = (r :: Type) # | |
SingI CreateStreams Source # | |
Defined in Axel.Eff.Process sing :: Sing CreateStreams # | |
SingI InheritStreams Source # | |
Defined in Axel.Eff.Process sing :: Sing InheritStreams # | |
data Sing (a :: StreamSpecification) Source # | |
Defined in Axel.Eff.Process data Sing (a :: StreamSpecification) where
| |
type Demote StreamSpecification Source # | |
Defined in Axel.Eff.Process |
type CreateStreamsSym0 = CreateStreams Source #
type InheritStreamsSym0 = InheritStreams Source #
type SStreamSpecification = (Sing :: StreamSpecification -> Type) Source #
type family StreamsHandler (a :: StreamSpecification) (f :: * -> *) :: * Source #
Instances
type StreamsHandler CreateStreams f Source # | |
Defined in Axel.Eff.Process | |
type StreamsHandler InheritStreams f Source # | |
Defined in Axel.Eff.Process |
type ProcessRunner' (streamSpec :: StreamSpecification) f = forall streamsHandler. streamsHandler ~ StreamsHandler streamSpec f => streamsHandler Source #
type ProcessRunnerPrimitive (streamSpec :: StreamSpecification) (f :: * -> *) = FilePath -> [String] -> ProcessRunner' streamSpec f Source #
type ProcessRunner (streamSpec :: StreamSpecification) (f :: * -> *) = SingI streamSpec => ProcessRunner' streamSpec f Source #
runProcessInheritingStreams :: forall effs. Member Process effs => FilePath -> [String] -> Eff effs ExitCode Source #
runProcessCreatingStreams :: forall effs. Member Process effs => FilePath -> [String] -> String -> Eff effs (ExitCode, String, String) Source #
runProcess :: forall (streamSpec :: StreamSpecification) effs. Member Process effs => FilePath -> [String] -> ProcessRunner streamSpec (Eff effs) Source #