Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Algebra.Pointed

Synopsis

class Pointed p where
- point :: p
newtype PointedMonoid m = PointedMonoid {
- runPointedMonoid :: m
}

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 Methods point :: PointedMonoid m Source #
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 runPointedMonoid :: m

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 Methods mempty :: PointedMonoid m # mappend :: PointedMonoid m -> PointedMonoid m -> PointedMonoid m # mconcat :: [PointedMonoid m] -> PointedMonoid m #
Semigroup m => Semigroup (PointedMonoid m) Source #
Instance details 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 #
Show m => Show (PointedMonoid m) Source #
Instance details Defined in Data.Algebra.Pointed Methods showsPrec :: Int -> PointedMonoid m -> ShowS # show :: PointedMonoid m -> String # showList :: [PointedMonoid m] -> ShowS #
Monoid m => Pointed (PointedMonoid m) Source #
Instance details Defined in Data.Algebra.Pointed Methods point :: PointedMonoid m Source #
Eq m => Eq (PointedMonoid m) Source #
Instance details Defined in Data.Algebra.Pointed Methods (==) :: PointedMonoid m -> PointedMonoid m -> Bool # (/=) :: PointedMonoid m -> PointedMonoid m -> Bool #
Ord m => Ord (PointedMonoid m) Source #
Instance details 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 #