Waargonaut.Decode.ZipperMove

Types and functions for describing the movements of a cursor around the Json structure.

Documentation

data ZipperMove

Set of moves that may be executed on a zipper.

Constructors

U

D

DAt Text

Item Text

L Natural

R Natural

BranchFail Text

Instances

Eq ZipperMove

Defined in Waargonaut.Decode.ZipperMove

Methods

(==) :: ZipperMove -> ZipperMove -> Bool

(/=) :: ZipperMove -> ZipperMove -> Bool

Show ZipperMove

Defined in Waargonaut.Decode.ZipperMove

Methods

showsPrec :: Int -> ZipperMove -> ShowS

show :: ZipperMove -> String

showList :: [ZipperMove] -> ShowS

AsZipperMove ZipperMove

Defined in Waargonaut.Decode.ZipperMove

Methods

_ZipperMove :: Prism' ZipperMove ZipperMove

_U :: Prism' ZipperMove ()

_D :: Prism' ZipperMove ()

_DAt :: Prism' ZipperMove Text

_Item :: Prism' ZipperMove Text

_L :: Prism' ZipperMove Natural

_R :: Prism' ZipperMove Natural

class AsZipperMove r where

Classy Prism's for things that may be treated as a ZipperMove.

Minimal complete definition

_ZipperMove

Methods

_ZipperMove :: Prism' r ZipperMove

_U :: Prism' r ()

_D :: Prism' r ()

_DAt :: Prism' r Text

_Item :: Prism' r Text

_L :: Prism' r Natural

_R :: Prism' r Natural

Instances

AsZipperMove ZipperMove

Defined in Waargonaut.Decode.ZipperMove

Methods

_ZipperMove :: Prism' ZipperMove ZipperMove

_U :: Prism' ZipperMove ()

_D :: Prism' ZipperMove ()

_DAt :: Prism' ZipperMove Text

_Item :: Prism' ZipperMove Text

_L :: Prism' ZipperMove Natural

_R :: Prism' ZipperMove Natural

ppZipperMove :: ZipperMove -> Doc a

Pretty print a given zipper movement, used when printing CursorHistory' to improve the readability of the errors.