| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Internal.Combinators
Contents
Description
Combinators reexported in Data.TypedEncoding
Synopsis
- 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))
- verifyUncheckedEnc' :: forall (xs :: [Symbol]) c str. (RecreateFAll (Either RecreateEx) xs c str, SymbolList xs) => UncheckedEnc c str -> Maybe (Either RecreateEx (Enc xs c str))
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 #