| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Telescope.Asdf.Encoding
Synopsis
- encodeM :: (ToAsdf a, MonadIO m, MonadThrow m) => a -> m ByteString
- encode :: (ToAsdf a, IOE :> es, Error AsdfError :> es) => a -> Eff es ByteString
- encodeAsdf :: (IOE :> es, Error AsdfError :> es) => Asdf -> Eff es AsdfFile
- encodeNode :: (IOE :> es, Error AsdfError :> es) => Node -> Eff es (ByteString, [BlockData])
- encodeStream :: (IOE :> es, Error AsdfError :> es) => ConduitT () Event (Eff (State Anchors : (State [BlockData] : (Resource : es)))) () -> Eff es (ByteString, [BlockData])
- decodeM :: (FromAsdf a, MonadIO m, MonadThrow m) => ByteString -> m a
- decodeEither :: forall a m. (FromAsdf a, MonadIO m) => ByteString -> m (Either String a)
- decode :: (FromAsdf a, IOE :> es, Error AsdfError :> es) => ByteString -> Eff es a
- decodeFromTree :: forall a es. Error AsdfError :> es => FromAsdf a => Tree -> Eff es a
- parseAsdfTree :: (Error AsdfError :> es, IOE :> es) => Encoded Tree -> [Encoded Block] -> Eff es Tree
- streamAsdfFile :: (Error AsdfError :> es, IOE :> es) => Encoded Tree -> [Encoded Block] -> Eff es (Object, Anchors)
- decodeBlock :: Error AsdfError :> es => Encoded Block -> Eff es BlockData
- decodeBlockIndex :: (Error AsdfError :> es, IOE :> es) => ByteString -> Eff es BlockIndex
- runYamlError :: Error AsdfError :> es => Eff (Error YamlError : es) a -> Eff es a
- runParseError :: Error AsdfError :> es => Eff (Error ParseError : es) a -> Eff es a
Documentation
encodeM :: (ToAsdf a, MonadIO m, MonadThrow m) => a -> m ByteString Source #
Encode a ToAsdf to a ByteString
encode :: (ToAsdf a, IOE :> es, Error AsdfError :> es) => a -> Eff es ByteString Source #
Encode a ToAsdf to a ByteString
encodeAsdf :: (IOE :> es, Error AsdfError :> es) => Asdf -> Eff es AsdfFile Source #
Encode an Asdf document to a ByteString
encodeNode :: (IOE :> es, Error AsdfError :> es) => Node -> Eff es (ByteString, [BlockData]) Source #
Low-level encoding of a node to a Yaml tree, without required headers, etc
encodeStream :: (IOE :> es, Error AsdfError :> es) => ConduitT () Event (Eff (State Anchors : (State [BlockData] : (Resource : es)))) () -> Eff es (ByteString, [BlockData]) Source #
Create a stream of yaml events
decodeM :: (FromAsdf a, MonadIO m, MonadThrow m) => ByteString -> m a Source #
Decode a ByteString to a FromAsdf
decodeEither :: forall a m. (FromAsdf a, MonadIO m) => ByteString -> m (Either String a) Source #
Decode a ByteString to a FromAsdf
decode :: (FromAsdf a, IOE :> es, Error AsdfError :> es) => ByteString -> Eff es a Source #
Decode a ByteString to a FromAsdf
parseAsdfTree :: (Error AsdfError :> es, IOE :> es) => Encoded Tree -> [Encoded Block] -> Eff es Tree Source #
Parse the asdf file parts into a Tree
streamAsdfFile :: (Error AsdfError :> es, IOE :> es) => Encoded Tree -> [Encoded Block] -> Eff es (Object, Anchors) Source #
decodeBlockIndex :: (Error AsdfError :> es, IOE :> es) => ByteString -> Eff es BlockIndex Source #
Decode the BlockIndex
runParseError :: Error AsdfError :> es => Eff (Error ParseError : es) a -> Eff es a Source #