Chiasma.Effect.Codec

Documentation

data Codec (command :: Type -> Type) (i :: Type) (o :: Type) :: Effect where

Constructors

WithCodec :: command a -> (i -> m o) -> Codec command i o m a

Encode :: command a -> Codec command i o m i

encode :: forall command i o r a. Member (Codec command i o) r => command a -> Sem r i

withCodec :: forall command i o r a. Member (Codec command i o) r => command a -> (i -> Sem r o) -> Sem r a

type NativeCodec command = Codec command TmuxRequest TmuxResponse

type NativeCodecE command = NativeCodec command !! CodecError

type NativeCommandCodec = NativeCodec TmuxCommand

type NativeCommandCodecE = NativeCodecE TmuxCommand

type family NativeCodecs (cs :: [Type -> Type]) :: [Effect] where ...

Equations

NativeCodecs '[] = '[]

NativeCodecs (c : cs) = NativeCodec c : NativeCodecs cs

type family NativeCodecsE (cs :: [Type -> Type]) :: [Effect] where ...

Equations

NativeCodecsE '[] = '[]

NativeCodecsE (c : cs) = NativeCodecE c : NativeCodecsE cs