Data.Enumerate.Example

Documentation

main :: IO ()

data Demo a

(for documentation)

demonstrates: empty type, unit type, product type, sum type, type variable.

with {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}, the derivation is a one-liner:

data Demo a = ... deriving (Show,Generic,Enumerable)

Constructors

Demo0 Void

Demo1

Demo2 Bool (Maybe Bool)

Demo3 a

Instances

Bounded (Demo Bool)

Enum (Demo Bool)

Eq a => Eq (Demo a)

Ord a => Ord (Demo a)

Show a => Show (Demo a)

Generic (Demo a)

Enumerable a => Enumerable (Demo a)

type Rep (Demo a)

demoEnumerated :: [Demo Bool]

(for documentation)

demoEnumerated = enumerated

>>> traverse print demoEnumerated
Demo1
Demo2 False Nothing
Demo2 False (Just False)
Demo2 False (Just True)
Demo2 True Nothing
Demo2 True (Just False)
Demo2 True (Just True)
Demo3 False
Demo3 True

array_DemoBool :: Array Int (Demo Bool)

table_DemoBool :: Map (Demo Bool) Int