schematic-0.1.5.0: JSON-biased spec and validation tool

Safe Haskell	None
Language	Haskell2010

Data.Schematic.Utils

Documentation

class Known a where Source #

Minimal complete definition

Methods

known :: a Source #

Instances

c => Known (Dict c) Source #
Methods known :: Dict c Source #
Known (Proxy k a) Source #
Methods known :: Proxy k a Source #
(Known (Sing a a1), Known (Sing [a] as)) => Known (Sing [a] ((:) a a1 as)) Source #
Methods known :: Sing [a] ((a ': a1) as) Source #
Known (Sing [k] ([] k)) Source #
Methods known :: Sing [k] [k] Source #
KnownNat n => Known (Sing Nat n) Source #
Methods known :: Sing Nat n Source #
KnownSymbol s => Known (Sing Symbol s) Source #
Methods known :: Sing Symbol s Source #
(Known (Sing k1 a), Known (Sing k b)) => Known (Sing (k1, k) ((,) k1 k a b)) Source #
Methods known :: Sing (k1, k) ((k1, k) a b) Source #
(KnownSymbol k, Known (Sing Symbol k)) => Known (Sing PathSegment (Key k)) Source #
Methods known :: Sing PathSegment (Key k) Source #
(KnownNat n, Known (Sing Nat n)) => Known (Sing PathSegment (Ix n)) Source #
Methods known :: Sing PathSegment (Ix n) Source #
(Known (Sing u a), Known (Rec u (Sing u) tl)) => Known (Rec u (Sing u) ((:) u a tl)) Source #
Methods known :: Rec u (Sing u) ((u ': a) tl) Source #
Known (Rec u (Sing u) ([] u)) Source #
Methods known :: Rec u (Sing u) [u] Source #

data Dict c where Source #

Constructors

Dict :: c => Dict c

Instances

c => Known (Dict c) Source #
Methods known :: Dict c Source #