Generics.RepLib.Lib

Available for all representable types

subtrees

deepSeq

rnf

Specializable type-indexed functions

class GSum a

class Zero a

class Generate a

class Enumerate a

class Shrink a

class Lreduce b a

class Rreduce b a

Generic operations based on Fold

class Fold f

crush

gproduct

gand

gor

flatten

count

comp

gconcat

gall

gany

gelem

Auxiliary types and generators for derivable classes

data GSumD a

data ZeroD a

data GenerateD a

data EnumerateD a

data ShrinkD a

data LreduceD b a

data RreduceD b a

rnfR

deepSeqR

gsumR1

zeroR1

generateR1

enumerateR1

lreduceR1

rreduceR1