Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
withCodec :: forall command i o r a. Member (Codec command i o) r => command a -> (i -> Sem r o) -> Sem r a Source #
type NativeCodec command = Codec command TmuxRequest TmuxResponse Source #
type NativeCodecE command = NativeCodec command !! CodecError Source #
type family NativeCodecs (cs :: [Type -> Type]) :: [Effect] where ... Source #
NativeCodecs '[] = '[] | |
NativeCodecs (c ': cs) = NativeCodec c ': NativeCodecs cs |
type family NativeCodecsE (cs :: [Type -> Type]) :: [Effect] where ... Source #
NativeCodecsE '[] = '[] | |
NativeCodecsE (c ': cs) = NativeCodecE c ': NativeCodecsE cs |