ideas-math-types-1.0: Common types for mathematical domain reasoners

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell2010

Domain.Algebra.FieldLaws

Contents

Description

 
Synopsis

Semi-ring laws

Ring laws

ringLaws :: Ring a => [Law a] Source #

Field laws

fieldLaws :: Field a => [Law a] Source #

Laws for additive monoid

Laws for multiplicative monoid

Properties

propsField :: [Property] Source #