Generics.Pointless.Functors

Functors

Definition and operations over functors

data Id x

data Const t x

data (g :+: h) x

data (g :*: h) x

data (g :@: h) x

data Fix f

type family PF a :: * -> *

type family Rep f x :: *

class ShowRep f

class ToRep f

class Functor f

lzip

type F a x

pmap

class Mu a

inn'

out'

Fixpoint combinators

data I

data K a

data a :+!: b

data a :*!: b

data a :@!: b

Default definitions for commonly used data types

List

nil

cons

Natural Numbers

data Nat

nzero

nsucc

Int (positive only)

zero

suck

natInt

intNat

Bool

true

false

Maybe

maybe2bool