regular-0.2.1: Generic programming library for regular datatypes. Source code Contents Index

Generics.Regular.Functions.LR Portability non-portable Stability experimental Maintainer generics@haskell.org

Contents Functions for generating values that are different on top-level

Description

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

Synopsis

class LRBase a where leftb :: a rightb :: a class LR f where leftf :: a -> f a rightf :: a -> f a left :: (Regular a, LR (PF a)) => a right :: (Regular a, LR (PF a)) => a

Functions for generating values that are different on top-level

class LRBase a where Source

The LRBase class defines two functions, leftb and rightb, which should produce different values. Methods leftb :: a Source rightb :: a Source Instances LRBase Char LRBase Int LRBase Integer LRBase a => LRBase ([] a)

class LR f where Source

The LR class defines two functions, leftf and rightf, which should produce different functorial values. Methods leftf :: a -> f a Source rightf :: a -> f a Source 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 Source

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

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

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

Produced by Haddock version 2.4.2