Safe Haskell	Safe-Inferred
Language	Haskell2010

Json.Arrow

Contents

Run Parser
Primitive Parsers
- Object Members
- Array Elements
Primitive Combinators
Trivial Combinators
Conversion

Synopsis

data Parser a b
type (~>) a b = Parser a b
run :: (a ~> b) -> a -> Either Errors b
object :: Value ~> Members
array :: Value ~> Elements
string :: Value ~> ShortText
strings :: Value ~> UnliftedArray ShortText
number :: Value ~> Scientific
boolean :: Value ~> Bool
null :: Value ~> ()
newtype Members = Members {
- unMembers :: SmallArray Member
}
member :: ShortText -> Members ~> Value
memberOpt :: ShortText -> Members ~> Maybe Value
foldMembers :: a -> (a -> Member ~> a) -> Members ~> a
data Elements
foldl' :: a -> (a -> Value ~> a) -> Elements ~> a
map :: (Value ~> a) -> Elements ~> SmallArray a
fail :: ShortText -> a ~> b
failZero :: a ~> b
withObject :: (Members ~> a) -> Value ~> a
withArray :: (Value ~> a) -> Value ~> SmallArray a
fromNull :: a -> Value ~> a
int :: Value ~> Int
word16 :: Value ~> Word16
word64 :: Value ~> Word64
liftMaybe :: ShortText -> (a -> Maybe b) -> a ~> b

Documentation

data Parser a b Source #

Instances

Instances details

Arrow Parser Source #
Instance details 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 Source #
Instance details Defined in Json.Arrow Methods app :: Parser (Parser b c, b) c #
ArrowChoice Parser Source #
Instance details 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 Source #
Instance details Defined in Json.Arrow Methods (<+>) :: Parser b c -> Parser b c -> Parser b c #
ArrowZero Parser Source #
Instance details Defined in Json.Arrow Methods zeroArrow :: Parser b c #
Profunctor Parser Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Json.Arrow Methods fmap :: (a0 -> b) -> Parser a a0 -> Parser a b # (<$) :: a0 -> Parser a b -> Parser a a0 #