HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Moduleuniverse-base-1.1.4Haskell2010

Data.Universe.Generic

  • 3 classes
  • 1 value
Example2 expressions
:set -XDeriveGenericimport GHC.Generics
classclass GUniverseProduct (f :: Type -> Type) where
#

Methods

Instances4GUniverseProduct
valueuniverseGeneric :: (Generic a, GUniverse (Rep a)) => [a]
#
Example2 expressions
data One = One deriving (Show, Generic)universeGeneric :: [One][One]
Example2 expressions
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]
Example1 expression
universeGeneric :: [Maybe Ordering][Nothing,Just LT,Just EQ,Just GT]
Example1 expression
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)]
Example1 expression
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)]
Example1 expression
:set -XEmptyDataDeriving
Example2 expressions
data Zero deriving (Show, Generic)universeGeneric :: [Zero][]