Control.Jsinc.Parser

data CharRead

Constructors

• CRClean
• CREscape
• CRUnicode Int Int

Instances

• Eq CharRead
• Ord CharRead
• Generic CharRead _
• Show CharRead

data Event

Constructors

• ENumber Number
• ENull
• EBool Boolean
• EStringStart
• EString String
• EStringEnd
• EArrayStart
• EArrayEnd
• EObjectStart
• EObjectEnd

Instances

• Eq Event
• Ord Event
• Generic Event _
• Show Event

data Lit

Constructors

• LTrue
• LFalse
• LNull

Instances

• Eq Lit
• Ord Lit
• Generic Lit _
• Show Lit

data NumberRead

Constructors

• NRNegSign
• NRWholeNum Boolean Number
• NRDecPoint Boolean Number
• NRFrac Boolean Number (Number -> Number)
• NRExpInd Number
• NRExpSign Number Boolean
• NRExp Number Boolean Number

Instances

• Eq NumberRead
• Show NumberRead

data ParseException

Constructors

• CharExpected Char Char
• UnescapedControl String
• InvalidEscape Char
• IncompleteUnicodeEscape Int Int
• InvalidValue Char
• InvalidValueArrayEnd Char
• InvalidDelimArrayEnd Char
• InvalidPropName Char
• InvalidPropNameObjectEnd Char
• InvalidDelimObjectEnd Char
• MissingNameTerminator
• MissingValue
• IncompleteEscape
• IncompleteLiteral Lit Int
• IncompleteWholeNumber
• IncompleteExponent
• IncompleteString
• MissingPropName
• UnclosedArray
• UnclosedObject
• DataAfterJson
• FlogTheDeveloper ParseState

Instances

• Eq ParseException
• Generic ParseException _
• Show ParseException

data ParseState

Instances

• Eq ParseState
• Show ParseState

data SourceState

Constructors

• SourceState String Int

Instances

• Eq SourceState
• Ord SourceState
• Generic SourceState _
• Show SourceState

caseParseState :: forall a. a -> (ParseState -> a) -> (ParseState -> a) -> (ParseState -> a) -> (ParseState -> a) -> (Lit -> Int -> ParseState -> a) -> (Boolean -> CharRead -> ParseState -> a) -> (NumberRead -> ParseState -> a) -> (ParseState -> a) -> (ParseState -> a) -> (ParseState -> a) -> ParseState -> a

describeException :: ParseException -> String

endJsonStreamParseT :: forall m s. Monad m => Tuple ParseState s -> m (Tuple (Either ParseException (Maybe Number)) (Tuple ParseState s))

initParseState :: ParseState

parseJsonStreamT :: forall m s. Monad m => Source s String Char m => Tuple ParseState s -> m (Tuple (Either ParseException (Maybe Event)) (Tuple ParseState s))

runEndParseT :: forall s m e a. ExceptT e (StateT s m) a -> s -> m (Tuple (Either e a) s)

runParseT :: forall s m e a. MaybeT (ExceptT e (StateT s m)) a -> s -> m (Tuple (Either e (Maybe a)) s)

startState :: forall f s d c. Functor f => Source s d c f => f (Tuple ParseState s)