algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Partial.Monoid

Documentation

class PartialSemigroup a => PartialMonoid a where Source #

Minimal complete definition

pzero

Methods

pzero :: a Source #

Instances

PartialMonoid Bool Source # 

Methods

pzero :: Bool Source #

PartialMonoid Int Source # 

Methods

pzero :: Int Source #

PartialMonoid Int8 Source # 

Methods

pzero :: Int8 Source #

PartialMonoid Int16 Source # 

Methods

pzero :: Int16 Source #

PartialMonoid Int32 Source # 

Methods

pzero :: Int32 Source #

PartialMonoid Int64 Source # 

Methods

pzero :: Int64 Source #

PartialMonoid Integer Source # 

Methods

pzero :: Integer Source #

PartialMonoid Natural Source # 

Methods

pzero :: Natural Source #

PartialMonoid Word Source # 

Methods

pzero :: Word Source #

PartialMonoid Word8 Source # 

Methods

pzero :: Word8 Source #

PartialMonoid Word16 Source # 

Methods

pzero :: Word16 Source #

PartialMonoid Word32 Source # 

Methods

pzero :: Word32 Source #

PartialMonoid Word64 Source # 

Methods

pzero :: Word64 Source #

PartialMonoid () Source # 

Methods

pzero :: () Source #

PartialSemigroup a => PartialMonoid (Maybe a) Source # 

Methods

pzero :: Maybe a Source #

PartialMonoid a => PartialMonoid (Morphism a) Source # 

Methods

pzero :: Morphism a Source #

(PartialMonoid a, PartialMonoid b) => PartialMonoid (a, b) Source # 

Methods

pzero :: (a, b) Source #

(PartialMonoid a, PartialMonoid b, PartialMonoid c) => PartialMonoid (a, b, c) Source # 

Methods

pzero :: (a, b, c) Source #

(PartialMonoid a, PartialMonoid b, PartialMonoid c, PartialMonoid d) => PartialMonoid (a, b, c, d) Source # 

Methods

pzero :: (a, b, c, d) Source #

(PartialMonoid a, PartialMonoid b, PartialMonoid c, PartialMonoid d, PartialMonoid e) => PartialMonoid (a, b, c, d, e) Source # 

Methods

pzero :: (a, b, c, d, e) Source #