axel-0.0.9: The Axel programming language.

Safe HaskellNone
LanguageHaskell2010

Axel.Eff.Process

Documentation

data StreamSpecification #

Constructors

CreateStreams 
InheritStreams 
Instances
SingKind StreamSpecification # 
Instance details

Defined in Axel.Eff.Process

Associated Types

type Demote StreamSpecification = (r :: Type) #

Methods

fromSing :: Sing a -> Demote StreamSpecification #

toSing :: Demote StreamSpecification -> SomeSing StreamSpecification #

SingI CreateStreams # 
Instance details

Defined in Axel.Eff.Process

Methods

sing :: Sing CreateStreams #

SingI InheritStreams # 
Instance details

Defined in Axel.Eff.Process

Methods

sing :: Sing InheritStreams #

data Sing (a :: StreamSpecification) # 
Instance details

Defined in Axel.Eff.Process

data Sing (a :: StreamSpecification) where
type Demote StreamSpecification # 
Instance details

Defined in Axel.Eff.Process

type Demote StreamSpecification = StreamSpecification

type CreateStreamsSym0 = CreateStreams #

type InheritStreamsSym0 = InheritStreams #

type SStreamSpecification = (Sing :: StreamSpecification -> Type) #

type family StreamsHandler (a :: StreamSpecification) (f :: * -> *) :: * #

Instances
type StreamsHandler CreateStreams f # 
Instance details

Defined in Axel.Eff.Process

type StreamsHandler CreateStreams f = String -> f (ExitCode, String, String)
type StreamsHandler InheritStreams f # 
Instance details

Defined in Axel.Eff.Process

type StreamsHandler InheritStreams f = f ExitCode

type ProcessRunner' (streamSpec :: StreamSpecification) f = forall streamsHandler. streamsHandler ~ StreamsHandler streamSpec f => streamsHandler #

type ProcessRunnerPrimitive (streamSpec :: StreamSpecification) (f :: * -> *) = FilePath -> [String] -> ProcessRunner' streamSpec f #

type ProcessRunner (streamSpec :: StreamSpecification) (f :: * -> *) = SingI streamSpec => ProcessRunner' streamSpec f #

data Process r where #

Constructors

GetArgs :: Process [String] 
RunProcessCreatingStreams :: FilePath -> [String] -> String -> Process (ExitCode, String, String) 
RunProcessInheritingStreams :: FilePath -> [String] -> Process ExitCode 

runProcessInheritingStreams :: forall effs. Member Process effs => FilePath -> [String] -> Eff effs ExitCode #

runProcessCreatingStreams :: forall effs. Member Process effs => FilePath -> [String] -> String -> Eff effs (ExitCode, String, String) #

getArgs :: forall effs. Member Process effs => Eff effs [String] #

runEff :: LastMember IO effs => Eff (Process ': effs) ~> Eff effs #

runProcess :: forall (streamSpec :: StreamSpecification) effs. Member Process effs => FilePath -> [String] -> ProcessRunner streamSpec (Eff effs) #