| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
BishBosh.Property.SelfValidating
Contents
Description
AUTHOR- Dr. Alistair Ward
DESCRIPTION- Defines a class to which data capable of validating itself can confirm.
Synopsis
- class SelfValidating a where
- findInvalidity :: a -> [String]
- findErrors :: [(selfValidator -> Bool, String)] -> selfValidator -> [String]
- isValid :: SelfValidating a => a -> Bool
- isInvalid :: SelfValidating a => a -> Bool
Type-classes
class SelfValidating a where Source #
- This class serves data-types which must preserve compatibility beyond that which can be guarded by a smart-constructor.
- E.g.: data-types which are constructed piece-meal & endure a temporarily invalid state.
Methods
findInvalidity :: a -> [String] Source #
Instances
| SelfValidating GameClock Source # | |
Defined in BishBosh.Time.GameClock Methods findInvalidity :: GameClock -> [String] Source # | |
| SelfValidating MaybePieceByCoordinates Source # | |
Defined in BishBosh.State.MaybePieceByCoordinates Methods findInvalidity :: MaybePieceByCoordinates -> [String] Source # | |
| SelfValidating CoordinatesByRankByLogicalColour Source # | |
Defined in BishBosh.State.CoordinatesByRankByLogicalColour Methods findInvalidity :: CoordinatesByRankByLogicalColour -> [String] Source # | |
| SelfValidating Board Source # | |
Defined in BishBosh.State.Board Methods findInvalidity :: Board -> [String] Source # | |
| SelfValidating a => SelfValidating [a] Source # | |
Defined in BishBosh.Property.SelfValidating Methods findInvalidity :: [a] -> [String] Source # | |
| (SelfValidating a, SelfValidating b) => SelfValidating (a, b) Source # | |
Defined in BishBosh.Property.SelfValidating Methods findInvalidity :: (a, b) -> [String] Source # | |
Functions
findErrors :: [(selfValidator -> Bool, String)] -> selfValidator -> [String] Source #
Selects relevant error-messages from the specified association-list, to facilitate implementation of findInvalidity.
Predicates
isValid :: SelfValidating a => a -> Bool Source #
Predicate.
isInvalid :: SelfValidating a => a -> Bool Source #
Predicate.