adjunction-0.0.0.0: See README for more info

Safe HaskellNone
LanguageHaskell2010

Data.Functor.Rep

Documentation

class Cotraversable f => Representable f where Source #

Associated Types

type Rep f Source #

Methods

tabulate :: (Rep f -> a) -> f a Source #

index :: f a -> Rep f -> a Source #