Copyright	(C) 2014 Yorick Laupa
License	(see the file LICENSE)
Maintainer	Yorick Laupa <yo.eight@gmail.com>
Stability	provisional
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Rakhana

Description

Documentation

type Dictionary = Map ByteString Object Source

type Drive m a = Client' TReq TResp m a Source

data Header Source

data Object Source

Instances

Eq Object
Show Object

data NReq Source

data NResp Source

data Number Source

Instances

Eq Number
Show Number

type Playground m a = Client' NReq NResp m a Source

type Reference = (Int, Int) Source

data Stream Source

Instances

Eq Stream
Show Stream

type Tape m a = Server' TReq TResp m a Source

data TReq Source

data TResp Source

data XRefException Source

Constructors

XRefParsingException String
InvalidXRefStream
UnsupportedFilter ByteString
UnsupportedPredictor Integer
ZLibException String String

Instances

Show XRefException

_Array :: Prism' Object (Vector Object) Source

_Boolean :: Prism' Object Bool Source

_Bytes :: Prism' Object ByteString Source

_Dict :: Prism' Object Dictionary Source

_Name :: Prism' Object ByteString Source

_Natural :: Prism' Number Integer Source

_Number :: Prism' Object Number Source

_Real :: Prism' Number Double Source

_Ref :: Prism' Object Reference Source

_Stream :: Prism' Object Stream Source

dictKey :: ByteString -> Traversal' Dictionary Object Source

nth :: Int -> Traversal' (Vector a) a Source

streamDict :: Lens' Stream Dictionary Source

streamPos :: Lens' Stream Integer Source

nurseryGetInfo :: Monad m => Playground m Dictionary Source

nurseryGetHeader :: Monad m => Playground m Header Source

nurseryGetPages :: Monad m => Playground m Dictionary Source

nurseryLoadStreamData :: Monad m => Stream -> Playground m ByteString Source

nurseryGetReferences :: Monad m => Playground m [Reference] Source

nurseryResolve :: Monad m => Reference -> Playground m Object Source

withNursery :: MonadError NurseryException m => Client' NReq NResp m a -> Drive m a Source

driveBackward :: Monad m => Drive m () Source

driveBottom :: Monad m => Drive m () Source

driveDiscard :: Monad m => Int -> Drive m () Source

driveForward :: Monad m => Drive m () Source

driveGet :: Monad m => Int -> Drive m ByteString Source

driveGetLazy :: Monad m => Int -> Drive m ByteString Source

driveGetSeek :: Monad m => Drive m Integer Source

driveModifySeek :: Monad m => (Integer -> Integer) -> Drive m () Source

drivePeek :: Monad m => Int -> Drive m ByteString Source

driveSeek :: Monad m => Integer -> Drive m () Source

driveTop :: Monad m => Drive m () Source

fileTape :: MonadIO m => FilePath -> Tape m r Source

runDrive :: Monad m => (forall r. Tape m r) -> Drive m a -> m a Source

NurseryParsingException (Maybe Reference) String
NurseryParsingExceptionInObjStm String
NurseryUnresolvedObject Int Int
NurseryRootNotFound
NurseryPagesNotFound
NurseryInvalidStreamObject
NurseryInvalidLinearizedObject
NurseryXRefException XRefException
NurseryExpectedStreamObject
NurseryInvalidObjStm
NurseryUnresolvedObjectInObjStm Int
NurseryWrongObject Reference Reference