typed-encoding-0.2.0.0: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Internal.Combinators

Contents

Synopsis

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)) Source #

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)) Source #