quickspec-0.9.6: Equational laws for free!

Safe HaskellNone

Test.QuickSpec.Reasoning.PartialEquationalReasoning

Description

Equational reasoning that deals with partial functions. Only used in HipSpec at the moment.

Documentation

data Context Source

Constructors

Context 

liftEQ :: [Int] -> (Maybe Int -> EQ a) -> PEQ [a]Source