Data.Schematic.Path

Documentation

data PathSegment

Constructors

Key Symbol

Ix Nat

Instances

data Sing (jp :: PathSegment)

Defined in Data.Schematic.Path

data Sing (jp :: PathSegment) where

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

data DemotedPathSegment

Constructors

DKey Text

DIx Integer

Instances

Show DemotedPathSegment

Defined in Data.Schematic.Path

Methods

showsPrec :: Int -> DemotedPathSegment -> ShowS

show :: DemotedPathSegment -> String

showList :: [DemotedPathSegment] -> ShowS

newtype JSONPath

Textual representation of json path.

Constructors

JSONPath Text

Instances

Show JSONPath

Defined in Data.Schematic.Path

Methods

showsPrec :: Int -> JSONPath -> ShowS

show :: JSONPath -> String

showList :: [JSONPath] -> ShowS

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

demotedPathToText :: [DemotedPathSegment] -> JSONPath

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