Data.Algebra.Pointed

Documentation

class Pointed p where

Class of pointed sets

Methods

point :: p

Instances

Pointed (Maybe a)

Defined in Data.Algebra.Pointed

Methods

point :: Maybe a

Monoid m => Pointed (PointedMonoid m)

Defined in Data.Algebra.Pointed

Methods

point :: PointedMonoid m

newtype PointedMonoid m

Monoid should be a subclass of Pointed.

Constructors

PointedMonoid

Fields

• runPointedMonoid :: m

Instances

Functor PointedMonoid

Defined in Data.Algebra.Pointed

Methods

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

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

Eq m => Eq (PointedMonoid m)

Defined in Data.Algebra.Pointed

Methods

(==) :: PointedMonoid m -> PointedMonoid m -> Bool

(/=) :: PointedMonoid m -> PointedMonoid m -> Bool

Ord m => Ord (PointedMonoid m)

Defined in Data.Algebra.Pointed

Methods

compare :: PointedMonoid m -> PointedMonoid m -> Ordering

(<) :: PointedMonoid m -> PointedMonoid m -> Bool

(<=) :: PointedMonoid m -> PointedMonoid m -> Bool

(>) :: PointedMonoid m -> PointedMonoid m -> Bool

(>=) :: PointedMonoid m -> PointedMonoid m -> Bool

max :: PointedMonoid m -> PointedMonoid m -> PointedMonoid m

min :: PointedMonoid m -> PointedMonoid m -> PointedMonoid m

Show m => Show (PointedMonoid m)

Defined in Data.Algebra.Pointed

Methods

showsPrec :: Int -> PointedMonoid m -> ShowS

show :: PointedMonoid m -> String

showList :: [PointedMonoid m] -> ShowS

Semigroup m => Semigroup (PointedMonoid m)

Defined in Data.Algebra.Pointed

Methods

(<>) :: PointedMonoid m -> PointedMonoid m -> PointedMonoid m

sconcat :: NonEmpty (PointedMonoid m) -> PointedMonoid m

stimes :: Integral b => b -> PointedMonoid m -> PointedMonoid m

Monoid m => Monoid (PointedMonoid m)

Defined in Data.Algebra.Pointed

Methods

mempty :: PointedMonoid m

mappend :: PointedMonoid m -> PointedMonoid m -> PointedMonoid m

mconcat :: [PointedMonoid m] -> PointedMonoid m

Monoid m => Pointed (PointedMonoid m)

Defined in Data.Algebra.Pointed

Methods

point :: PointedMonoid m