| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Fmt.Internal.Generic
Synopsis
- genericF :: ( Generic a, GBuildable ( Rep a)) => a -> Builder
- class GBuildable f where
- class Buildable' a where
- class GetFields f where
Documentation
>>>import Fmt
genericF :: ( Generic a, GBuildable ( Rep a)) => a -> Builder Source #
Format an arbitrary value without requiring a
Buildable
instance:
>>>data Foo = Foo { x :: Bool, y :: [Int] } deriving Generic
>>>fmt (genericF (Foo True [1,2,3]))Foo: x: True y: [1, 2, 3]
It works for non-record constructors too:
>>>data Bar = Bar Bool [Int] deriving Generic
>>>fmtLn (genericF (Bar True [1,2,3]))<Bar: True, [1, 2, 3]>
Any fields inside the type must either be
Buildable
or one of the following
types:
The exact format of
genericF
might change in future versions, so don't rely
on it. It's merely a convenience function.
class GBuildable f where Source #
Instances
| Buildable' c => GBuildable ( K1 i c :: Type -> Type ) Source # | |
| ( GBuildable a, GBuildable b) => GBuildable (a :+: b) Source # | |
| GBuildable a => GBuildable ( M1 D d a) Source # | |
| ( GetFields a, Constructor c) => GBuildable ( M1 C c a) Source # | |
class Buildable' a where Source #
A more powerful
Buildable
used for
genericF
. Can build functions,
tuples, lists, maps, etc., as well as combinations thereof.
Instances
class GetFields f where Source #
Methods
getFields :: f a -> [( String , Builder )] Source #
Get fields, together with their names if available