SimpleParser.Examples.Direct.Json

Parses JSON documents

Documentation

newtype Json

Constructors

Json

Fields

• unJson :: JsonF Json

Instances

Show Json

Defined in SimpleParser.Examples.Direct.Json

Methods

showsPrec :: Int -> Json -> ShowS

show :: Json -> String

showList :: [Json] -> ShowS

Eq Json

Defined in SimpleParser.Examples.Direct.Json

Methods

(==) :: Json -> Json -> Bool

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

data JsonF a

Constructors

JsonObject !(Seq (Text, a))

JsonArray !(Seq a)

JsonString !Text

JsonBool !Bool

JsonNum !Scientific

JsonNull

Instances

Foldable JsonF

Defined in SimpleParser.Examples.Direct.Json

Methods

fold :: Monoid m => JsonF m -> m

foldMap :: Monoid m => (a -> m) -> JsonF a -> m

foldMap' :: Monoid m => (a -> m) -> JsonF a -> m

foldr :: (a -> b -> b) -> b -> JsonF a -> b

foldr' :: (a -> b -> b) -> b -> JsonF a -> b

foldl :: (b -> a -> b) -> b -> JsonF a -> b

foldl' :: (b -> a -> b) -> b -> JsonF a -> b

foldr1 :: (a -> a -> a) -> JsonF a -> a

foldl1 :: (a -> a -> a) -> JsonF a -> a

toList :: JsonF a -> [a]

null :: JsonF a -> Bool

length :: JsonF a -> Int

elem :: Eq a => a -> JsonF a -> Bool

maximum :: Ord a => JsonF a -> a

minimum :: Ord a => JsonF a -> a

sum :: Num a => JsonF a -> a

product :: Num a => JsonF a -> a

Traversable JsonF

Defined in SimpleParser.Examples.Direct.Json

Methods

traverse :: Applicative f => (a -> f b) -> JsonF a -> f (JsonF b)

sequenceA :: Applicative f => JsonF (f a) -> f (JsonF a)

mapM :: Monad m => (a -> m b) -> JsonF a -> m (JsonF b)

sequence :: Monad m => JsonF (m a) -> m (JsonF a)

Functor JsonF

Defined in SimpleParser.Examples.Direct.Json

Methods

fmap :: (a -> b) -> JsonF a -> JsonF b

(<$) :: a -> JsonF b -> JsonF a

Show a => Show (JsonF a)

Defined in SimpleParser.Examples.Direct.Json

Methods

showsPrec :: Int -> JsonF a -> ShowS

show :: JsonF a -> String

showList :: [JsonF a] -> ShowS

Eq a => Eq (JsonF a)

Defined in SimpleParser.Examples.Direct.Json

Methods

(==) :: JsonF a -> JsonF a -> Bool

(/=) :: JsonF a -> JsonF a -> Bool

type JsonParserC s = (TextualStream s, Eq (Chunk s))

type JsonParserM s a = Parser TextLabel s Void a

jsonParser :: JsonParserC s => JsonParserM s Json