| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Chiasma.Interpreter.TmuxApi
Documentation
interpretTmuxApi :: forall command i o err r. Members [TmuxClient i o, Codec command i o !! err] r => InterpreterFor (TmuxApi command !! err) r Source #
data TmuxApiEffect :: Type -> (Type -> Type) -> Exp Effect Source #
Instances
| type Eval (TmuxApiEffect err command :: Effect -> Type) Source # | |
Defined in Chiasma.Interpreter.TmuxApi | |
type family TmuxApis (commands :: [Type -> Type]) (err :: Type) :: EffectRow where ... Source #
Equations
| TmuxApis commands err = FMap (TmuxApiEffect err) @@ commands |
class InterpretApis (commands :: [Type -> Type]) err i o r where Source #
Methods
interpretApis :: InterpretersFor (TmuxApis commands err) (TmuxClient i o : r) Source #
Instances
| InterpretApis ('[] :: [Type -> Type]) err i o r Source # | |
Defined in Chiasma.Interpreter.TmuxApi Methods interpretApis :: InterpretersFor (TmuxApis '[] err) (TmuxClient i o ': r) Source # | |
| (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 Source # | |
Defined in Chiasma.Interpreter.TmuxApi Methods interpretApis :: InterpretersFor (TmuxApis (command ': commands) err) (TmuxClient i o ': r) Source # | |
type InterpretApisNative commands r = InterpretApis commands CodecError TmuxRequest TmuxResponse r Source #
class RestopApis (commands :: [Type -> Type]) err i o r where Source #
Methods
restopApis :: InterpretersFor (TmuxApi <$> commands) (TmuxClient i o : r) Source #
Instances
| RestopApis ('[] :: [Type -> Type]) (err :: k) i o r Source # | |
Defined in Chiasma.Interpreter.TmuxApi Methods restopApis :: InterpretersFor (TmuxApi <$> '[]) (TmuxClient i o ': r) Source # | |
| (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 Source # | |
Defined in Chiasma.Interpreter.TmuxApi Methods restopApis :: InterpretersFor (TmuxApi <$> (command ': commands)) (TmuxClient i o ': r) Source # | |
type RestopApisNative commands r = RestopApis commands CodecError TmuxRequest TmuxResponse r Source #