Agda.Termination.Semiring

Description

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