Safe Haskell	Safe
Language	Haskell98

Numeric.Partial.Monoid

Documentation

class PartialSemigroup a => PartialMonoid a where #

Minimal complete definition

pzero

Methods

pzero :: a #

Instances

PartialMonoid Bool #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Bool #
PartialMonoid Int #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Int #
PartialMonoid Int8 #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Int8 #
PartialMonoid Int16 #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Int16 #
PartialMonoid Int32 #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Int32 #
PartialMonoid Int64 #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Int64 #
PartialMonoid Integer #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Integer #
PartialMonoid Natural #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Natural #
PartialMonoid Word #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Word #
PartialMonoid Word8 #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Word8 #
PartialMonoid Word16 #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Word16 #
PartialMonoid Word32 #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Word32 #
PartialMonoid Word64 #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Word64 #
PartialMonoid () #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: () #
PartialSemigroup a => PartialMonoid (Maybe a) #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: Maybe a #
PartialMonoid a => PartialMonoid (Morphism a) #
Instance details Defined in Numeric.Coalgebra.Categorical Methods pzero :: Morphism a #
(PartialMonoid a, PartialMonoid b) => PartialMonoid (a, b) #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: (a, b) #
(PartialMonoid a, PartialMonoid b, PartialMonoid c) => PartialMonoid (a, b, c) #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: (a, b, c) #
(PartialMonoid a, PartialMonoid b, PartialMonoid c, PartialMonoid d) => PartialMonoid (a, b, c, d) #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: (a, b, c, d) #
(PartialMonoid a, PartialMonoid b, PartialMonoid c, PartialMonoid d, PartialMonoid e) => PartialMonoid (a, b, c, d, e) #
Instance details Defined in Numeric.Partial.Monoid Methods pzero :: (a, b, c, d, e) #