algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Partial.Monoid

Documentation

class PartialSemigroup a => PartialMonoid a where #

Minimal complete definition

pzero

Methods

pzero :: a #

Instances

PartialMonoid Bool # 

Methods

pzero :: Bool #

PartialMonoid Int # 

Methods

pzero :: Int #

PartialMonoid Int8 # 

Methods

pzero :: Int8 #

PartialMonoid Int16 # 

Methods

pzero :: Int16 #

PartialMonoid Int32 # 

Methods

pzero :: Int32 #

PartialMonoid Int64 # 

Methods

pzero :: Int64 #

PartialMonoid Integer # 

Methods

pzero :: Integer #

PartialMonoid Natural # 

Methods

pzero :: Natural #

PartialMonoid Word # 

Methods

pzero :: Word #

PartialMonoid Word8 # 

Methods

pzero :: Word8 #

PartialMonoid Word16 # 

Methods

pzero :: Word16 #

PartialMonoid Word32 # 

Methods

pzero :: Word32 #

PartialMonoid Word64 # 

Methods

pzero :: Word64 #

PartialMonoid () # 

Methods

pzero :: () #

PartialSemigroup a => PartialMonoid (Maybe a) # 

Methods

pzero :: Maybe a #

PartialMonoid a => PartialMonoid (Morphism a) # 

Methods

pzero :: Morphism a #

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

Methods

pzero :: (a, b) #

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

Methods

pzero :: (a, b, c) #

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

Methods

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

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

Methods

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