refined-0.4: Refinement types with static and runtime checking

Safe HaskellNone
LanguageHaskell2010

Refined.Orphan.Aeson

Contents

Description

This module exposes orphan instances for the Refined type. This is unavoidable given the current module structure.

Orphan instances

(ToJSON a, Predicate p a) => ToJSON (Refined p a) Source # 
Instance details

(FromJSON a, Predicate p a) => FromJSON (Refined p a) Source # 
Instance details