Copyright	(C) 2017 Csongor Kiss
License	BSD3
Maintainer	Csongor Kiss <kiss.csongor.kiss@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Generics.Product.List

Description

Derive an isomorphism between a product type and a flat HList.

Documentation

class IsList (m :: Type) (f :: Type) (g :: Type) (as :: [(m, Type)]) (bs :: [(m, Type)]) | m f -> as, m g -> bs where #

Minimal complete definition

Methods

list :: Iso f g (List as) (List bs) #

Instances

(Generic f, Generic g, GIsList m (Rep f) (Rep g) as bs) => IsList m f g (as :: [(m, Type)]) (bs :: [(m, Type)]) #
Instance details Defined in Data.Generics.Product.List Methods list :: Iso f g (List as) (List bs) #

class IsList Symbol f g as bs => IsRecord f g (as :: [(Symbol, Type)]) (bs :: [(Symbol, Type)]) | f -> as, g -> bs #

Instances

IsList Symbol f g as bs => IsRecord f g as bs #
Instance details Defined in Data.Generics.Product.List

class IsRecord f f as as => IsRecord' f (as :: [(Symbol, Type)]) | f -> as #

Instances

IsRecord f f as as => IsRecord' f as #
Instance details Defined in Data.Generics.Product.List