Module
Control.Jsinc.Decoder
- Package
- purescript-jsinc
- Repository
- david-sledge/purescript-jsinc
#DecodeException Source
data DecodeException c eConstructors
#DecodeJsonStream Source
class DecodeJsonStream :: Type -> Type -> (Type -> Type) -> Constraintclass (EndJsonDecode c a m) <= DecodeJsonStream c a m where
Members
decodeJsonT :: c -> Event -> m (Either c a)
#EndJsonDecode Source
class EndJsonDecode :: Type -> Type -> (Type -> Type) -> Constraintclass (MonadThrow (DecodeException c a) m) <= EndJsonDecode c a m where
Members
endJsonDecodeT :: c -> Number -> m (Either c a)
#decodeContT Source
decodeContT :: forall m a s c r. Source s String Char m => Monad m => Source s String Char (MaybeT (ExceptT (DecodeException c a) (StateT (Tuple (Tuple ParseState s) (Either c a)) m))) => DecodeJsonStream c a (MaybeT (ExceptT (DecodeException c a) (StateT (Tuple (Tuple ParseState s) (Either c a)) m))) => EndJsonDecode c a (ExceptT (DecodeException c a) (StateT (Tuple (Tuple ParseState s) (Either c a)) m)) => String -> c -> (Tuple (Tuple ParseState s) (Either c a) -> (DecodeException c a) -> m r) -> (Tuple (Tuple ParseState s) (Either c a) -> (Maybe String -> m r) -> m r) -> (a -> m r) -> m r#decodeJsonStreamT Source
decodeJsonStreamT :: forall m a s c. MonadState (Tuple (Tuple ParseState s) (Either c a)) m => Source s String Char m => MonadThrow (DecodeException c a) m => MonadNuhUh m => DecodeJsonStream c a m => m a#decodeT Source
decodeT :: forall m a c. Monad m => DecodeJsonStream c a (MaybeT (ExceptT (DecodeException c a) (StateT (Tuple (Tuple ParseState (SourcePosition (InPlaceSource String) LineColumnPosition)) (Either c a)) m))) => EndJsonDecode c a (ExceptT (DecodeException c a) (StateT (Tuple (Tuple ParseState (SourcePosition (InPlaceSource String) LineColumnPosition)) (Either c a)) m)) => String -> c -> m (Either (DecodeException c a) a)#endJsonStreamDecodeT Source
endJsonStreamDecodeT :: forall s a c m. MonadState (Tuple (Tuple ParseState s) (Either c a)) m => MonadThrow (DecodeException c a) m => EndJsonDecode c a m => m a#feedMoreData Source
feedMoreData :: forall m d c b a s. Bind m => Source s d c m => Applicative m => d -> Tuple (Tuple a s) b -> m (Tuple (Tuple a s) b)