Generics.Pointless.Bifunctors

Bifunctors

data BId a x

data BConst t a x

data BPar a x

data (g :+| h) a x

data (g :*| h) a x

data (g :@| h) a x

data BFix f

type family BF f :: * -> * -> *

type family BRep f a :: * -> *

class Bifunctor f

type B d a x

class Bimu d

pbmap

Fixpoint combinators

data BI x

data BK a x

data (a :+!| b) x

data (a :*!| b) x

data (a :@!| b) x

Default definitions for commonly used data types

Lists