| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.TypedEncoding.Internal.Util
Synopsis
- explainBool :: (a -> err) -> (a, Bool) -> Either err a
- proxiedId :: Proxy a -> a -> a
- extractEither :: Traversable t => t (Either err a) -> Either err (t a)
- withSomeSymbol :: SomeSymbol -> (forall x. KnownSymbol x => Proxy x -> r) -> r
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 #