Generics.MultiRec.LR

Documentation

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 Bool

LRBase Char

LRBase Int

LRBase Integer

LRBase a => LRBase [a]

class LR phi f where

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

Methods

leftf :: phi ix -> (forall ix'. El phi ix' => phi ix' -> r ix') -> [f r ix]

rightf :: phi ix -> (forall ix'. El phi ix' => phi ix' -> r ix') -> [f r ix]

Instances

LR phi U

LRBase a => LR phi (K a)

El phi xi => LR phi (I xi)

LR phi f => LR phi (:.: [] f)

(El phi ix, LR phi f, EqS phi) => LR phi (:>: f ix)

LR phi f => LR phi (C c f)

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

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

left :: (Fam phi, LR phi (PF phi)) => phi ix -> ix

right :: (Fam phi, LR phi (PF phi)) => phi ix -> ix

safeHead :: [t] -> t