Safe Haskell	None
Language	Haskell2010

Enumerate.Test

Description

test that nullary method calls are shared.

TODO cross-module benchmark and core check.

stack build --flag enumerate:dump-core && open core/Enumerate.Test.html

Documentation

data B a Source #

Constructors

B0 a
B1 (Maybe a) (Either a a)
B2 (a, a)
B3 (Set a)

Instances

Bounded (B Bool) Source #
Methods minBound :: B Bool # maxBound :: B Bool #
Enum (B Bool) Source #
Methods succ :: B Bool -> B Bool # pred :: B Bool -> B Bool # toEnum :: Int -> B Bool # fromEnum :: B Bool -> Int # enumFrom :: B Bool -> [B Bool] # enumFromThen :: B Bool -> B Bool -> [B Bool] # enumFromTo :: B Bool -> B Bool -> [B Bool] # enumFromThenTo :: B Bool -> B Bool -> B Bool -> [B Bool] #
Eq a => Eq (B a) Source #
Methods (==) :: B a -> B a -> Bool # (/=) :: B a -> B a -> Bool #
Ord a => Ord (B a) Source #
Methods compare :: B a -> B a -> Ordering # (<) :: B a -> B a -> Bool # (<=) :: B a -> B a -> Bool # (>) :: B a -> B a -> Bool # (>=) :: B a -> B a -> Bool # max :: B a -> B a -> B a # min :: B a -> B a -> B a #
Show a => Show (B a) Source #
Methods showsPrec :: Int -> B a -> ShowS # show :: B a -> String # showList :: [B a] -> ShowS #
Generic (B a) Source #
Associated Types type Rep (B a) :: * -> * # Methods from :: B a -> Rep (B a) x # to :: Rep (B a) x -> B a #
(Ord a, Enumerable a) => Enumerable (B a) Source #
Methods enumerated :: [B a] Source # cardinality :: proxy (B a) -> Natural Source #
type Rep (B a) Source #
type Rep (B a) = D1 (MetaData "B" "Enumerate.Test" "enumerate-0.2.2-GLNw96DavM81ig8hsrFpXP" False) ((:+:) ((:+:) (C1 (MetaCons "B0" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) (C1 (MetaCons "B1" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe a))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either a a)))))) ((:+:) (C1 (MetaCons "B2" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (a, a)))) (C1 (MetaCons "B3" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set a))))))

things :: [B Bool] Source #