Generics.Regular.Functions.LR

Summary: Generic functionality for regular dataypes: mapM, flatten, zip, equality, show, value generation and fold.

Functions for generating values that are different on top-level

class LRBase a where

The LRBase class defines two functions, leftb and rightb, which should produce different values.

Methods

leftb :: a

rightb :: a

Instances

LRBase Char

LRBase Int

LRBase Integer

LRBase a => LRBase [a]

class LR f where

The LR class defines two functions, leftf and rightf, which should produce different functorial values.

Methods

leftf :: a -> f a

rightf :: a -> f a

Instances

LR U

LR I

LRBase a => LR (K a)

LR f => LR (S s f)

LR f => LR (C c f)

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

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

left :: (Regular a, LR (PF a)) => a

Produces a value which should be different from the value returned by right.

right :: (Regular a, LR (PF a)) => a

Produces a value which should be different from the value returned by left.