Safe Haskell	None

Language.Python.Pickle

Description

Very partial implementation of the Python Pickle Virtual Machine (protocol 2): i.e. parses pickled data into opcodes, then executes the opcodes to construct a (Haskell representation of a) Python object.

Documentation

unpickle :: ByteString -> Either String Value Source

pickle :: Value -> ByteString Source

opcodes :: [Parser OpCode]Source

empty_dict :: Parser OpCode Source

tuple2 :: Parser OpCode Source

tuple1 :: Parser OpCode Source

empty_tuple :: Parser OpCode Source

empty_list :: Parser OpCode Source

binput :: Parser OpCode Source

mark :: Parser OpCode Source

binint :: Parser OpCode Source

binfloat :: Parser OpCode Source

binint2 :: Parser OpCode Source

binint1 :: Parser OpCode Source

short_binstring :: Parser OpCode Source

setitem :: Parser OpCode Source

setitems :: Parser OpCode Source

append :: Parser OpCode Source

appends :: Parser OpCode Source

stop :: Parser OpCode Source

float8 :: Parser DoubleSource

int4 :: Parser IntSource

uint2 :: Parser IntSource

serialize :: OpCode -> Put Source

putFloat8 :: Double -> Put Source

putUint2 :: Int -> Put Source

data OpCode Source

Constructors

EMPTY_DICT
EMPTY_LIST
EMPTY_TUPLE
BINPUT Int
MARK
BININT Int
BININT1 Int
BININT2 Int
BINFLOAT Double
SHORT_BINSTRING ByteString
TUPLE1
TUPLE2
SETITEM
SETITEMS
APPEND
APPENDS
STOP

Instances

Show OpCode
MonadWriter [OpCode] Pickler

data Value Source

Constructors

Dict (Map Value Value)
List [Value]
Tuple [Value]
BinInt Int
BinFloat Double
BinString ByteString
MarkObject

Instances

Eq Value
Ord Value
Show Value
MonadState (Map Value Int) Pickler

unpickle' :: [OpCode] -> Either String Value Source

type Stack = [Value]Source

type Memo = IntMap Value Source

execute :: [OpCode] -> Stack -> Memo -> Either String Value Source

executePartial :: [OpCode] -> Stack -> Memo -> (Stack, Memo, [OpCode])Source

executeOne :: OpCode -> Stack -> Memo -> Either String (Stack, Memo)Source

executeSetitem :: Monad m => Stack -> Memo -> m ([Value], Memo)Source

executeSetitems :: Monad m => [(Value, Value)] -> Stack -> Memo -> m ([Value], Memo)Source

executeAppend :: Monad m => Stack -> Memo -> m ([Value], Memo)Source

executeAppends :: Monad m => [Value] -> Stack -> Memo -> m ([Value], Memo)Source

addToDict :: [(Value, Value)] -> Value -> Value Source

newtype Pickler a Source

Constructors

Pickler
Fields runP :: WriterT [OpCode] (State (Map Value Int)) a

Instances

Monad Pickler
MonadWriter [OpCode] Pickler
MonadState (Map Value Int) Pickler

runPickler :: Pickler () -> [OpCode]Source

pickle' :: Value -> Pickler ()Source

binput' :: Value -> Pickler ()Source

pickleDict :: Map Value Value -> Pickler ()Source

pickleList :: [Value] -> Pickler ()Source

pickleTuple :: [Value] -> Pickler ()Source

pickleBinInt :: Int -> Pickler ()Source

pickleBinFloat :: Double -> Pickler ()Source

pickleBinString :: ByteString -> Pickler ()Source

dictGet :: Value -> Value -> Either String (Maybe Value)Source

dictGet' :: Value -> Value -> Either String Value Source

dictGetString :: Value -> ByteString -> Either String ByteString Source