Data.Universe.Generic

Documentation

>>> :set -XDeriveGeneric
>>> import GHC.Generics

class GUniverse f where

Methods

guniverse :: [f a]

Instances

GUniverseSum f => GUniverse (M1 i c f)

Defined in Data.Universe.Generic

Methods

guniverse :: [M1 i c f a]

class GUniverseSum f where

Methods

guniverseSum :: [[f a]]

Instances

GUniverseSum (V1 :: Type -> Type)

Defined in Data.Universe.Generic

Methods

guniverseSum :: [[V1 a]]

(GUniverseSum f, GUniverseSum g) => GUniverseSum (f :+: g)

Defined in Data.Universe.Generic

Methods

guniverseSum :: [[(f :+: g) a]]

GUniverseProduct f => GUniverseSum (M1 i c f)

Defined in Data.Universe.Generic

Methods

guniverseSum :: [[M1 i c f a]]

class GUniverseProduct f where

Methods

guniverseProduct :: [f a]

Instances

GUniverseProduct (U1 :: Type -> Type)

Defined in Data.Universe.Generic

Methods

guniverseProduct :: [U1 a]

Universe a => GUniverseProduct (K1 r a :: Type -> Type)

Defined in Data.Universe.Generic

Methods

guniverseProduct :: [K1 r a a0]

(GUniverseProduct f, GUniverseProduct g) => GUniverseProduct (f :*: g)

Defined in Data.Universe.Generic

Methods

guniverseProduct :: [(f :*: g) a]

GUniverseProduct f => GUniverseProduct (M1 i c f)

Defined in Data.Universe.Generic

Methods

guniverseProduct :: [M1 i c f a]

universeGeneric :: (Generic a, GUniverse (Rep a)) => [a]

>>> data One = One deriving (Show, Generic)
>>> universeGeneric :: [One]
[One]

>>> data Big = B0 Bool Bool | B1 Bool deriving (Show, Generic)
>>> universeGeneric :: [Big]
[B0 False False,B1 False,B0 False True,B1 True,B0 True False,B0 True True]

>>> universeGeneric :: [Maybe Ordering]
[Nothing,Just LT,Just EQ,Just GT]

>>> take 10 (universeGeneric :: [Either Integer Integer])
[Left 0,Right 0,Left 1,Right 1,Left (-1),Right (-1),Left 2,Right 2,Left (-2),Right (-2)]

>>> take 10 (universeGeneric :: [(Integer, Integer, Integer)])
[(0,0,0),(0,0,1),(1,0,0),(0,1,0),(1,0,1),(-1,0,0),(0,0,-1),(1,1,0),(-1,0,1),(2,0,0)]

>>> :set -XEmptyDataDeriving

>>> data Zero deriving (Show, Generic)
>>> universeGeneric :: [Zero]
[]