Control.Invariant

class HasInvariant a

data Checked a

class IsChecked a b

mutate

mutate'

create'

class Controls a b

view'

(!.)

views'

use'

uses'

class HasPrefix m

(===)

isSubsetOf'

isProperSubsetOf'

relation

trading

holds

invariantMessage

provided

providedM

assertFalse'

type Pre

class IsAssertion a

checkAssert

checkAssertM

type Invariant

(##)

member'

isSubmapOf'

isProperSubmapOf'