Safe Haskell	Safe
Language	Haskell2010

Data.TypedEncoding.Internal.Class.Encode

Synopsis

class EncodeF f instr outstr where
- encodeF :: instr -> f outstr
class EncodeFAll f (xs :: [Symbol]) c str where
- encodeFAll :: Enc '[] c str -> f (Enc xs c str)
encodeAll :: forall xs c str. EncodeFAll Identity (xs :: [Symbol]) c str => Enc '[] c str -> Enc xs c str
encodeFPart_ :: forall f xs xsf c str. (Functor f, EncodeFAll f xs c str) => Proxy xs -> Enc xsf c str -> f (Enc (Append xs xsf) c str)
encodeFPart :: forall (xs :: [Symbol]) xsf f c str. (Functor f, EncodeFAll f xs c str) => Enc xsf c str -> f (Enc (Append xs xsf) c str)
encodePart_ :: EncodeFAll Identity (xs :: [Symbol]) c str => Proxy xs -> Enc xsf c str -> Enc (Append xs xsf) c str
encodePart :: forall (xs :: [Symbol]) xsf c str. EncodeFAll Identity xs c str => Enc xsf c str -> Enc (Append xs xsf) c str

Documentation

class EncodeF f instr outstr where Source #

Methods

encodeF :: instr -> f outstr Source #

Instances

Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("enc-B64" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Enc.Base64 Methods encodeF :: Enc xs c Text -> f (Enc ("enc-B64" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("enc-B64" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Enc.Base64 Methods encodeF :: Enc xs c Text -> f (Enc ("enc-B64" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c ByteString) (Enc ("enc-B64" ': xs) c ByteString :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Enc.Base64 Methods encodeF :: Enc xs c ByteString -> f (Enc ("enc-B64" ': xs) c ByteString) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c ByteString) (Enc ("enc-B64" ': xs) c ByteString :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Enc.Base64 Methods encodeF :: Enc xs c ByteString -> f (Enc ("enc-B64" ': xs) c ByteString) Source #
(HasA SizeLimit c, Applicative f) => EncodeF (f :: Type -> Type) (Enc xs c ByteString) (Enc ("do-size-limit" ': xs) c ByteString :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c ByteString -> f (Enc ("do-size-limit" ': xs) c ByteString) Source #
(HasA SizeLimit c, Applicative f) => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-size-limit" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-size-limit" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-reverse" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-reverse" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-reverse" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-reverse" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-Title" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-Title" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-Title" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-Title" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-lower" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-lower" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-lower" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-lower" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-UPPER" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-UPPER" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("do-UPPER" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Do.Sample Methods encodeF :: Enc xs c Text -> f (Enc ("do-UPPER" ': xs) c Text) Source #
Applicative f => EncodeF (f :: Type -> Type) (Enc xs c Text) (Enc ("my-sign" ': xs) c Text :: Type) Source #	Because encoding function is pure we can create instance of EncodeF that is polymorphic in effect `f`. This is done using `implTranP` combinator.
Instance details Defined in Examples.TypedEncoding.DiySignEncoding Methods encodeF :: Enc xs c Text -> f (Enc ("my-sign" ': xs) c Text) Source #
EncodeF (Either EncodeEx) (Enc xs c ByteString) (Enc ("r-UTF8" ': xs) c ByteString :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.UTF8 Methods encodeF :: Enc xs c ByteString -> Either EncodeEx (Enc ("r-UTF8" ': xs) c ByteString) Source #
EncodeF (Either EncodeEx) (Enc xs c ByteString) (Enc ("r-UTF8" ': xs) c ByteString :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.UTF8 Methods encodeF :: Enc xs c ByteString -> Either EncodeEx (Enc ("r-UTF8" ': xs) c ByteString) Source #
IsStringR str => EncodeF (Either EncodeEx) (Enc xs c str) (Enc ("r-Int-decimal" ': xs) c str :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.Common Methods encodeF :: Enc xs c str -> Either EncodeEx (Enc ("r-Int-decimal" ': xs) c str) Source #
IsStringR str => EncodeF (Either EncodeEx) (Enc xs c str) (Enc ("r-Word8-decimal" ': xs) c str :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.Common Methods encodeF :: Enc xs c str -> Either EncodeEx (Enc ("r-Word8-decimal" ': xs) c str) Source #
EncodeF (Either EncodeEx) (Enc xs c ByteString) (Enc ("r-ASCII" ': xs) c ByteString :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.ASCII Methods encodeF :: Enc xs c ByteString -> Either EncodeEx (Enc ("r-ASCII" ': xs) c ByteString) Source #
EncodeF (Either EncodeEx) (Enc xs c ByteString) (Enc ("r-ASCII" ': xs) c ByteString :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.ASCII Methods encodeF :: Enc xs c ByteString -> Either EncodeEx (Enc ("r-ASCII" ': xs) c ByteString) Source #
EncodeF (Either EncodeEx) (Enc xs c Text) (Enc ("r-ASCII" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.ASCII Methods encodeF :: Enc xs c Text -> Either EncodeEx (Enc ("r-ASCII" ': xs) c Text) Source #
EncodeF (Either EncodeEx) (Enc xs c Text) (Enc ("r-ASCII" ': xs) c Text :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.ASCII Methods encodeF :: Enc xs c Text -> Either EncodeEx (Enc ("r-ASCII" ': xs) c Text) Source #
EncodeF (Either EncodeEx) (Enc xs c String) (Enc ("r-ASCII" ': xs) c String :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.ASCII Methods encodeF :: Enc xs c String -> Either EncodeEx (Enc ("r-ASCII" ': xs) c String) Source #
EncodeF (Either EncodeEx) (Enc xs c Char) (Enc ("r-ASCII" ': xs) c Char :: Type) Source #
Instance details Defined in Data.TypedEncoding.Instances.Restriction.ASCII Methods encodeF :: Enc xs c Char -> Either EncodeEx (Enc ("r-ASCII" ': xs) c Char) Source #

class EncodeFAll f (xs :: [Symbol]) c str where Source #

Methods

encodeFAll :: Enc '[] c str -> f (Enc xs c str) Source #

Instances

Applicative f => EncodeFAll f ([] :: [Symbol]) c str Source #
Instance details Defined in Data.TypedEncoding.Internal.Class.Encode Methods encodeFAll :: Enc [] c str -> f (Enc [] c str) Source #
(Monad f, EncodeFAll f xs c str, EncodeF f (Enc xs c str) (Enc (x ': xs) c str)) => EncodeFAll f (x ': xs) c str Source #
Instance details Defined in Data.TypedEncoding.Internal.Class.Encode Methods encodeFAll :: Enc [] c str -> f (Enc (x ': xs) c str) Source #

encodeAll :: forall xs c str. EncodeFAll Identity (xs :: [Symbol]) c str => Enc '[] c str -> Enc xs c str Source #

encodeFPart_ :: forall f xs xsf c str. (Functor f, EncodeFAll f xs c str) => Proxy xs -> Enc xsf c str -> f (Enc (Append xs xsf) c str) Source #

encodeFPart :: forall (xs :: [Symbol]) xsf f c str. (Functor f, EncodeFAll f xs c str) => Enc xsf c str -> f (Enc (Append xs xsf) c str) Source #

encodePart_ :: EncodeFAll Identity (xs :: [Symbol]) c str => Proxy xs -> Enc xsf c str -> Enc (Append xs xsf) c str Source #

encodePart :: forall (xs :: [Symbol]) xsf c str. EncodeFAll Identity xs c str => Enc xsf c str -> Enc (Append xs xsf) c str Source #

for some reason ApplyTypes syntax does not want to work if xs is specified with polymorphic [Symbol]