JSONSchema.Validator.Utils

QuickCheck

arbitraryText :: Gen Text

arbitraryScientific :: Gen Scientific

arbitraryPositiveScientific :: Gen Scientific

newtype ArbitraryValue

Constructors

ArbitraryValue

Fields

• _unArbitraryValue :: Value

Instances

Eq ArbitraryValue

Methods

(==) :: ArbitraryValue -> ArbitraryValue -> Bool

(/=) :: ArbitraryValue -> ArbitraryValue -> Bool

Show ArbitraryValue

Methods

showsPrec :: Int -> ArbitraryValue -> ShowS

show :: ArbitraryValue -> String

showList :: [ArbitraryValue] -> ShowS

Arbitrary ArbitraryValue

Methods

arbitrary :: Gen ArbitraryValue

shrink :: ArbitraryValue -> [ArbitraryValue]

arbitraryHashMap :: Arbitrary a => Gen (HashMap Text a)

arbitrarySetOfText :: Gen (Set Text)

newtype NonEmpty' a

Constructors

NonEmpty'

Fields

• _unNonEmpty' :: NonEmpty a

Instances

Arbitrary a => Arbitrary (NonEmpty' a)

Methods

arbitrary :: Gen (NonEmpty' a)

shrink :: NonEmpty' a -> [NonEmpty' a]

ToJSON a => ToJSON (NonEmpty' a)

Methods

toJSON :: NonEmpty' a -> Value

toEncoding :: NonEmpty' a -> Encoding

toJSONList :: [NonEmpty' a] -> Value

toEncodingList :: [NonEmpty' a] -> Encoding

FromJSON a => FromJSON (NonEmpty' a)

Methods

parseJSON :: Value -> Parser (NonEmpty' a)

parseJSONList :: Value -> Parser [NonEmpty' a]

allUniqueValues

allUniqueValues :: (Foldable f, Functor f) => f Value -> Bool

allUnique :: (Foldable f, Ord a) => f a -> Bool

newtype OrdValue

OrdValue's Ord instance needs benchmarking, but it allows us to use our allUnique function instead of O(n^2) nub, so it's probably worth it.

Constructors

OrdValue

Fields

• _unOrdValue :: Value

Instances

Eq OrdValue

Methods

(==) :: OrdValue -> OrdValue -> Bool

(/=) :: OrdValue -> OrdValue -> Bool

Ord OrdValue

Methods

compare :: OrdValue -> OrdValue -> Ordering

(<) :: OrdValue -> OrdValue -> Bool

(<=) :: OrdValue -> OrdValue -> Bool

(>) :: OrdValue -> OrdValue -> Bool

(>=) :: OrdValue -> OrdValue -> Bool

max :: OrdValue -> OrdValue -> OrdValue

min :: OrdValue -> OrdValue -> OrdValue