Data.TypedEncoding.Combinators.Restriction.Common

Common combinators used across encodings.

Since: 0.2.1.0

Documentation

>>> :set -XOverloadedStrings -XMultiParamTypeClasses -XDataKinds -XTypeApplications

decFR :: (IsR s ~ True, Applicative f) => Enc (s ': xs) c str -> f (Enc xs c str)

Universal decode for all "r-" types

recWithEncR :: forall (s :: Symbol) xs c str. IsR s ~ True => (Enc xs c str -> Either EncodeEx (Enc (s ': xs) c str)) -> Enc xs c str -> Either RecreateEx (Enc (s ': xs) c str)

Manual recreate step combinator converting "r-" encode function to a recreate step.

For "r-" encoding recreate and encode are the same other than the exception type used.

The convention in typed-encoding is to implement encode and convert it to recreate.

unsafeRecWithEncR :: forall (s :: Symbol) xs c str. (Enc xs c str -> Either EncodeEx (Enc (s ': xs) c str)) -> Enc xs c str -> Either RecreateEx (Enc (s ': xs) c str)

type family IsR (s :: Symbol) :: Bool where ...

>>> :kind! IsR "r-UPPER"
...
... 'True

>>> :kind! IsR "do-UPPER"
...
= (TypeError ... 

Equations

IsR s = AcceptEq (Text "Not restriction encoding " :<>: ShowType s) (CmpSymbol "r-" (Take 2 s))

type family IsROrEmpty (s :: Symbol) :: Bool where ...

Equations

IsROrEmpty "" = True

IsROrEmpty x = IsR x