Module

Data.Functor.Representable

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

#Representable Source

class (Functor f) <= Representable f a | f -> a where

Members

tabulate :: forall b. (a -> b) -> f b
index :: forall b. f b -> (a -> b)

Instances

Representable (Function a) a
(Representable f a, Representable g b) => Representable (Compose f g) (Tuple a b)

#fillRange Source

fillRange :: forall a f. BoundedEnum a => Representable f a => f Int

#fillFromIndex Source

fillFromIndex :: forall b f a. BoundedEnum a => Representable f a => (Int -> b) -> f b

#basis Source

basis :: forall a. BoundedEnum a => Array a

#fillFromZIndex Source

fillFromZIndex :: forall b f a. BoundedEnum a => Representable f a => (Int -> Int -> b) -> f b

#zorder Source

zorder :: Int -> Int -> Int

#unzorder Source

unzorder :: Int -> Tuple Int Int

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