Data.TypedEncoding.Internal.Combinators

Combinators reexported in Data.TypedEncoding

Documentation

>>> :set -XTypeApplications
>>> import qualified Data.Text as T
>>> import           Data.Word

Converting UncheckedEnc to Enc

verifyUncheckedEnc :: forall (xs :: [Symbol]) f c str. (RecreateFAll f xs c str, RecreateErr f, Applicative f, SymbolList xs) => UncheckedEnc c str -> Maybe (f (Enc xs c str))

Maybe signals annotation mismatch, effect f is not evaluated unless there is match

verifyUncheckedEnc' :: forall (xs :: [Symbol]) c str. (RecreateFAll (Either RecreateEx) xs c str, SymbolList xs) => UncheckedEnc c str -> Maybe (Either RecreateEx (Enc xs c str))