Module

Data.HFunctor

Package: purescript-functor-vector
Repository: philzook58/purescript-functor-vector

#HFunctor Source

class HFunctor p  where

Members

hmap :: forall a g f. Functor f => Functor g => (f ~> g) -> (p f a) -> (p g a)

Instances

#Onesy Source

newtype Onesy f a

Constructors

Onesy (f a)

Instances

HFunctor Onesy

#Twosy Source

newtype Twosy f a

Constructors

Twosy (f (f a))

Instances

HFunctor Twosy

#Threesy Source

newtype Threesy f a

Constructors

Threesy (f (f (f a)))

Instances

HFunctor Threesy

Modules: Data.BinMat; Data.BinVec; Data.DenseKron; Data.DirectSum; Data.Dottable; Data.Dual; Data.FreeKron; Data.FreeSemiring; Data.FunVec; Data.Functor.Representable; Data.HFunctor; Data.LinOp; Data.MaxPlus