Module

Data.Functor1

Package
purescript-functor1
Repository
garyb/purescript-functor1

#Functor1 Source

class Functor1 :: forall k. ((k -> Type) -> Type) -> Constraintclass Functor1 t  where

Members

  • map1 :: forall f g. (f ~> g) -> t f -> t g