NumHask.Algebra.Singleton

Homomorphic operation from element to structured number

Documentation

class Singleton f where

This class could also be called replicate. Looking forward, however, it may be useful to consider a Representable such as

VectorThing a = Vector a | Single a | Zero

and then

singleton a = Single a
singleton zero = Zero

short-circuiting an expensive computation. As the class action then doesn't actually involve replication, it would be mis-named.

Minimal complete definition

singleton

Methods

singleton :: a -> f a