Chiasma.Interpreter.TmuxApi

Documentation

type family (f :: l -> k) <$> (fa :: [l]) :: [k] where ...

Equations

f <$> fa = FMap (Pure1 f) @@ fa

flush :: Member (TmuxApi c) r => InterpreterFor (TmuxApi c) r

interpretTmuxApi :: forall command i o err r. Members [TmuxClient i o, Codec command i o !! err] r => InterpreterFor (TmuxApi command !! err) r

data TmuxApiEffect :: Type -> (Type -> Type) -> Exp Effect

Instances

type Eval (TmuxApiEffect err command :: Effect -> Type)

Defined in Chiasma.Interpreter.TmuxApi

type Eval (TmuxApiEffect err command :: Effect -> Type) = TmuxApi command !! err

type family TmuxApis (commands :: [Type -> Type]) (err :: Type) :: EffectRow where ...

Equations

TmuxApis commands err = FMap (TmuxApiEffect err) @@ commands

class InterpretApis (commands :: [Type -> Type]) err i o r where

Methods

interpretApis :: InterpretersFor (TmuxApis commands err) (TmuxClient i o ': r)

Instances

InterpretApis ('[] :: [Type -> Type]) err i o r

Defined in Chiasma.Interpreter.TmuxApi

Methods

interpretApis :: InterpretersFor (TmuxApis '[] err) (TmuxClient i o ': r)

(r1 ~ (TmuxApis commands err ++ (TmuxClient i o ': r)), Member (TmuxClient i o) r1, Member (Codec command i o !! err) r1, InterpretApis commands err i o r) => InterpretApis (command ': commands) err i o r

Defined in Chiasma.Interpreter.TmuxApi

Methods

interpretApis :: InterpretersFor (TmuxApis (command ': commands) err) (TmuxClient i o ': r)

type InterpretApisNative commands r = InterpretApis commands CodecError TmuxRequest TmuxResponse r

class RestopApis (commands :: [Type -> Type]) err i o r where

Methods

restopApis :: InterpretersFor (TmuxApi <$> commands) (TmuxClient i o ': r)

Instances

RestopApis ('[] :: [Type -> Type]) (err :: k) i o r

Defined in Chiasma.Interpreter.TmuxApi

Methods

restopApis :: InterpretersFor (TmuxApi <$> '[]) (TmuxClient i o ': r)

(r1 ~ ((TmuxApi <$> commands) ++ (TmuxClient i o ': r)), Members '[TmuxClient i o, Stop err] r1, Member (Codec command i o !! err) r1, RestopApis commands err i o r) => RestopApis (command ': commands) (err :: Type) i o r

Defined in Chiasma.Interpreter.TmuxApi

Methods

restopApis :: InterpretersFor (TmuxApi <$> (command ': commands)) (TmuxClient i o ': r)

type RestopApisNative commands r = RestopApis commands CodecError TmuxRequest TmuxResponse r