Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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.
findInvalidity :: a -> [String] Source #
Instances
SelfValidating GameClock Source # | |
Defined in BishBosh.Time.GameClock findInvalidity :: GameClock -> [String] Source # | |
SelfValidating MaybePieceByCoordinates Source # | |
Defined in BishBosh.State.MaybePieceByCoordinates | |
SelfValidating CoordinatesByRankByLogicalColour Source # | |
SelfValidating Board Source # | |
Defined in BishBosh.State.Board findInvalidity :: Board -> [String] Source # | |
SelfValidating a => SelfValidating [a] Source # | |
Defined in BishBosh.Property.SelfValidating findInvalidity :: [a] -> [String] Source # | |
(SelfValidating a, SelfValidating b) => SelfValidating (a, b) Source # | |
Defined in BishBosh.Property.SelfValidating 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.