Magicbane.Validation

Integrates the refinement types from the refined library with aeson.

Documentation

module Refined

Orphan instances

ToJSON α => ToJSON (Refined ρ α)

Methods

toJSON :: Refined ρ α -> Value

toEncoding :: Refined ρ α -> Encoding

toJSONList :: [Refined ρ α] -> Value

toEncodingList :: [Refined ρ α] -> Encoding

(FromJSON α, Predicate ρ α) => FromJSON (Refined ρ α)

Methods

parseJSON :: Value -> Parser (Refined ρ α)

parseJSONList :: Value -> Parser [Refined ρ α]