Json.Arrow

Documentation

data Parser a b

Instances

Arrow Parser

Defined in Json.Arrow

Methods

arr :: (b -> c) -> Parser b c

first :: Parser b c -> Parser (b, d) (c, d)

second :: Parser b c -> Parser (d, b) (d, c)

(***) :: Parser b c -> Parser b' c' -> Parser (b, b') (c, c')

(&&&) :: Parser b c -> Parser b c' -> Parser b (c, c')

ArrowApply Parser

Defined in Json.Arrow

Methods

app :: Parser (Parser b c, b) c

ArrowChoice Parser

Defined in Json.Arrow

Methods

left :: Parser b c -> Parser (Either b d) (Either c d)

right :: Parser b c -> Parser (Either d b) (Either d c)

(+++) :: Parser b c -> Parser b' c' -> Parser (Either b b') (Either c c')

(|||) :: Parser b d -> Parser c d -> Parser (Either b c) d

ArrowPlus Parser

Defined in Json.Arrow

Methods

(<+>) :: Parser b c -> Parser b c -> Parser b c

ArrowZero Parser

Defined in Json.Arrow

Methods

zeroArrow :: Parser b c

Profunctor Parser

Defined in Json.Arrow

Methods

dimap :: (a -> b) -> (c -> d) -> Parser b c -> Parser a d

lmap :: (a -> b) -> Parser b c -> Parser a c

rmap :: (b -> c) -> Parser a b -> Parser a c

(#.) :: forall a b c q. Coercible c b => q b c -> Parser a b -> Parser a c

(.#) :: forall a b c q. Coercible b a => Parser b c -> q a b -> Parser a c

Category Parser

Defined in Json.Arrow

Methods

id :: forall (a :: k). Parser a a

(.) :: forall (b :: k) (c :: k) (a :: k). Parser b c -> Parser a b -> Parser a c

Applicative (Parser a)

Defined in Json.Arrow

Methods

pure :: a0 -> Parser a a0

(<*>) :: Parser a (a0 -> b) -> Parser a a0 -> Parser a b

liftA2 :: (a0 -> b -> c) -> Parser a a0 -> Parser a b -> Parser a c

(*>) :: Parser a a0 -> Parser a b -> Parser a b

(<*) :: Parser a a0 -> Parser a b -> Parser a a0

Functor (Parser a)

Defined in Json.Arrow

Methods

fmap :: (a0 -> b) -> Parser a a0 -> Parser a b

(<$) :: a0 -> Parser a b -> Parser a a0

type (~>) a b = Parser a b

Run Parser

run :: (a ~> b) -> a -> Either Errors b

Primitive Parsers

object :: Value ~> Members

array :: Value ~> Elements

string :: Value ~> ShortText

strings :: Value ~> UnliftedArray ShortText

Parse an array of strings. For example:

["hello","world"]

Failure context includes the index of non-string value if any values in the array are not strings.

number :: Value ~> Scientific

boolean :: Value ~> Bool

null :: Value ~> ()

Object Members

newtype Members

Constructors

Members

Fields

• unMembers :: SmallArray Member

member :: ShortText -> Members ~> Value

memberOpt :: ShortText -> Members ~> Maybe Value

An optional member. Returns Nothing if the value is missing.

foldMembers :: a -> (a -> Member ~> a) -> Members ~> a

Array Elements

data Elements

foldl' :: a -> (a -> Value ~> a) -> Elements ~> a

map :: (Value ~> a) -> Elements ~> SmallArray a

Primitive Combinators

fail :: ShortText -> a ~> b

failZero :: a ~> b

Trivial Combinators

withObject :: (Members ~> a) -> Value ~> a

withArray :: (Value ~> a) -> Value ~> SmallArray a

fromNull :: a -> Value ~> a

int :: Value ~> Int

word16 :: Value ~> Word16

word64 :: Value ~> Word64

Conversion

liftMaybe

Arguments

:: ShortText

Message to display on decode error

-> (a -> Maybe b)

Decode function

-> a ~> b