Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Termination.Semiring
Description
Semirings.
Synopsis
data Semiring a = Semiring {
add :: a -> a -> a
mul :: a -> a -> a
zero :: a
one :: a
}
semiringInvariant :: (Arbitrary a, Eq a, Show a) => Semiring a -> a -> a -> a -> Bool
integerSemiring :: Semiring Integer
boolSemiring :: Semiring Bool
tests :: IO Bool
Documentation
data Semiring a Source
Semirings.
Constructors
Semiring
add :: a -> a -> aAddition.
mul :: a -> a -> aMultiplication.
zero :: aZero.
one :: aOne.
semiringInvariant :: (Arbitrary a, Eq a, Show a) => Semiring a -> a -> a -> a -> BoolSource
Semiring invariant.
integerSemiring :: Semiring IntegerSource
The standard semiring on Integers.
boolSemiring :: Semiring BoolSource
The standard semiring on Bools.
tests :: IO BoolSource
Produced by Haddock version 2.6.0