ToolShed.SelfValidate

AUTHOR

Dr. Alistair Ward

DESCRIPTION

A class to define the simple interface, to which data which can self-validation, should conform.

Type-classes

class SelfValidator a where

The interface to which data which can self-validate should conform.

Methods

isValid

Arguments

:: a

-> Bool

The data which implements this interface should return True if internally consistent.

Instances

SelfValidator a => SelfValidator [a]