free-algebras-0.1.0.2: Free algebras
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Algebra.Pointed

Synopsis

Documentation

class Pointed p where Source #

Class of pointed sets

Methods

point :: p Source #

Instances

Instances details
Monoid m => Pointed (PointedMonoid m) Source # 
Instance details

Defined in Data.Algebra.Pointed

Pointed (Maybe a) Source # 
Instance details

Defined in Data.Algebra.Pointed

Methods

point :: Maybe a Source #

newtype PointedMonoid m Source #

Monoid should be a subclass of Pointed.

Constructors

PointedMonoid 

Fields

Instances

Instances details
Functor PointedMonoid Source # 
Instance details

Defined in Data.Algebra.Pointed

Methods

fmap :: (a -> b) -> PointedMonoid a -> PointedMonoid b #

(<$) :: a -> PointedMonoid b -> PointedMonoid a #

Monoid m => Monoid (PointedMonoid m) Source # 
Instance details

Defined in Data.Algebra.Pointed

Semigroup m => Semigroup (PointedMonoid m) Source # 
Instance details

Defined in Data.Algebra.Pointed

Show m => Show (PointedMonoid m) Source # 
Instance details

Defined in Data.Algebra.Pointed

Monoid m => Pointed (PointedMonoid m) Source # 
Instance details

Defined in Data.Algebra.Pointed

Eq m => Eq (PointedMonoid m) Source # 
Instance details

Defined in Data.Algebra.Pointed

Ord m => Ord (PointedMonoid m) Source # 
Instance details

Defined in Data.Algebra.Pointed