Data.Functor.Restricted

An attempt at a class of functors defined on a subclass of Type.

Definitions

interface RFunctor : (Type -> Type) -> (Type -> Type) -> Type

Parameters: r, f
Methods:

rmap : (r x, r y) => (x -> y) -> f x -> f y

Implementation: 

RFunctor Ord SortedSet

rmap : RFunctor r f => (r x, r y) => (x -> y) -> f x -> f y

Visibility: public export