Data.Schematic.Path

Documentation

data PathSegment

Constructors

Key Symbol

Ix Nat

Instances

(KnownSymbol k, Known (Sing Symbol k)) => Known (Sing PathSegment (Key k))

Methods

known :: Sing PathSegment (Key k)

(KnownNat n, Known (Sing Nat n)) => Known (Sing PathSegment (Ix n))

Methods

known :: Sing PathSegment (Ix n)

data Sing PathSegment

data Sing PathSegment where

• SKey :: Sing PathSegment (Key k)
• SIx :: Sing PathSegment (Ix n)

data DemotedPathSegment

Constructors

DKey Text

DIx Integer

Instances

Show DemotedPathSegment

Methods

showsPrec :: Int -> DemotedPathSegment -> ShowS

show :: DemotedPathSegment -> String

showList :: [DemotedPathSegment] -> ShowS

newtype JSONPath

Textual representation of json path.

Constructors

JSONPath Text

Instances

Show JSONPath

Methods

showsPrec :: Int -> JSONPath -> ShowS

show :: JSONPath -> String

showList :: [JSONPath] -> ShowS

demotePath :: Sing (ps :: [PathSegment]) -> [DemotedPathSegment]

demotedPathToText :: [DemotedPathSegment] -> JSONPath

pathToText :: Sing (ps :: [PathSegment]) -> JSONPath