Hoogle Search
Within LTS Haskell 24.66 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
rightIdentity :: Eq a => (a -> b -> a) -> b -> a -> Boolnumeric-prelude Algebra.Laws No documentation available.
-
Abstract concept of a Monoid. Will be used in order to generate type classes for generic algebras. An algebra is a vector space that also is a monoid. Should we use the Monoid class from base library despite its unfortunate method name mappend?
module Algebra.NormedSpace.
Euclidean Abstraction of normed vector spaces
module Algebra.
PrincipalIdealDomain No documentation available.
euclid :: (C a, C a) => (a -> a -> a) -> a -> a -> anumeric-prelude Algebra.PrincipalIdealDomain No documentation available.
extendedEuclid :: (C a, C a) => (a -> a -> (a, a)) -> a -> a -> (a, (a, a))numeric-prelude Algebra.PrincipalIdealDomain No documentation available.
propGCDIdentity :: (Eq a, C a) => a -> Boolnumeric-prelude Algebra.PrincipalIdealDomain No documentation available.
propLeftIdentity :: (Eq a, C a) => a -> Boolnumeric-prelude Algebra.Ring No documentation available.
propRightIdentity :: (Eq a, C a) => a -> Boolnumeric-prelude Algebra.Ring No documentation available.
-
No documentation available.