typed-encoding-0.3.0.2: Type safe string transformations

Safe HaskellSafe
LanguageHaskell2010

Data.TypedEncoding.Internal.Util

Synopsis

Documentation

explainBool :: (a -> err) -> (a, Bool) -> Either err a Source #

proxiedId :: Proxy a -> a -> a Source #

Sometimes is easier to pass around a proxy than do TypeApplications

extractEither :: Traversable t => t (Either err a) -> Either err (t a) Source #

explicit mapM

withSomeSymbol :: SomeSymbol -> (forall x. KnownSymbol x => Proxy x -> r) -> r Source #