Module
Data.Refined.Error
- Package
- purescript-refined
- Repository
- danieljharvey/purescript-refined
#RefinedError Source
data RefinedError a
Constructors
AndError (These (RefinedError a) (RefinedError a))
OrError (RefinedError a) (RefinedError a)
SizeEqualToError Int a
SizeGreaterThanError Int a
SizeLessThanError Int a
NotError
LessThanError Int a
GreaterThanError Int a
FromError Int a
ToError Int a
FromToError Int Int a
EqualToError Int a
NotEqualToError Int a
Instances
(Eq a) => Eq (RefinedError a)
(Show a) => Show (RefinedError a)