Copyright	(c) 2023 Nicolas Trangez
License	Apache-2.0
Maintainer	ikke@nicolast.be
Stability	alpha
Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Lawful.Types

Contents

Core types
Utilities

Description

Type definitions (aliases) and basic utility functions used in the lawful-classes ecosystem.

Synopsis

type Laws m = [(String, Law m)]
type Law m = m (Maybe Bool)
discard :: Applicative m => Law m
assert :: Applicative m => Bool -> Law m

Core types

type Laws m = [(String, Law m)] Source #

Laws that hold for a specific Monad m.

They come with a name, and an action which may yield a Bool, denoting whether or not the law holds. It yield Nothing if the test should be discarded for the given input (when a generator is used).

type Law m = m (Maybe Bool) Source #

A single law.

See Laws.

Utilities

discard :: Applicative m => Law m Source #

Discard the current test-case.

assert :: Applicative m => Bool -> Law m Source #

Assert a given Bool value is True.