Data.TypedEncoding.Common.Types.Common

Documentation

>>> :set -XScopedTypeVariables -XTypeFamilies -XKindSignatures -XDataKinds

type EncAnn = String

Represents value level (single) annotation.

type Restriction s = (KnownSymbol s, IsR s ~ True)

type Algorithm nm alg = AlgNm nm ~ alg

type family AlgNm (encnm :: Symbol) :: Symbol where ...

Converts encoding name to algorithm name, this assumes the ":" delimiter expected by this library.

This allows working with open encoding definitions such as "r-ban" or "r-bool"

>>> :kind! AlgNm "enc-B64"
...
= "enc-B64"

>>> :kind! AlgNm "r-ban:999-99-9999"
...
= "r-ban"

Equations

AlgNm encnm = TakeUntil encnm ":"

type family AlgNmMap (nms :: [Symbol]) :: [Symbol] where ...

Equations

AlgNmMap '[] = '[]

AlgNmMap (x ': xs) = AlgNm x ': AlgNmMap xs

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