Axel.Eff.Process

Documentation

data StreamSpecification

Constructors

CreateStreams

InheritStreams

Instances

SingKind StreamSpecification

Defined in Axel.Eff.Process

Associated Types

type Demote StreamSpecification = (r :: *)

Methods

fromSing :: Sing a -> Demote StreamSpecification

toSing :: Demote StreamSpecification -> SomeSing StreamSpecification

SingI CreateStreams

Defined in Axel.Eff.Process

Methods

sing :: Sing CreateStreams

SingI InheritStreams

Defined in Axel.Eff.Process

Methods

sing :: Sing InheritStreams

data Sing (z :: StreamSpecification)

Defined in Axel.Eff.Process

data Sing (z :: StreamSpecification) where

• SCreateStreams :: Sing CreateStreams
• SInheritStreams :: Sing InheritStreams

type Demote StreamSpecification

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

Defined in Axel.Eff.Process

type StreamsHandler CreateStreams f = String -> f (ExitCode, String, String)

type StreamsHandler InheritStreams f

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

getArgs :: Member Process effs => Eff effs [String]

runProcessCreatingStreams :: Member Process effs => ProcessRunnerPrimitive CreateStreams (Eff effs)

runProcessInheritingStreams :: Member Process effs => ProcessRunnerPrimitive InheritStreams (Eff effs)

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

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