Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
- module Data.Columbia.CompoundData
- module Data.Columbia.CycleDetection
- module Data.Columbia.Utils
- module Data.Columbia.Gc
- module Data.Columbia.FRecord
- module Data.Columbia.WithAddress
- module Data.Generics.SYB.WithClass.Basics
- module Data.Generics.SYB.WithClass.Context
- module Generics.Pointless.Functors
- module Control.Monad.IO.Class
- module Control.Monad.Reader
- rwProxy :: Proxy (PairCtx RWCtx NoCtx)
- readCompoundData :: forall m d. (Monad m, Data (PairCtx RWCtx NoCtx) d) => ReaderT (SeekableStream m Word8) m d
- writeCompoundData :: forall m d. (Monad m, Data (PairCtx RWCtx NoCtx) d) => d -> ReaderT (SeekableWriter m Word8) m ()
- rwKeyProxy :: Proxy (PairCtx RWCtx (PairCtx KeyCtx NoCtx))
- readDataWithCycles :: forall m d. (MonadFix m, StateM m, StateOf m ~ Map Word32 Dynamic, Data (PairCtx RWCtx (PairCtx KeyCtx NoCtx)) d) => ReaderT (SeekableStream m Word8) m d
- writeDataWithCycles :: forall m d. (StateM m, StateOf m ~ Map (DynamicWithCtx KeyComparable) Word32, Data (PairCtx RWCtx (PairCtx KeyCtx NoCtx)) d) => d -> ReaderT (SeekableWriter m Word8) m ()
Documentation
module Data.Columbia.CompoundData
module Data.Columbia.CycleDetection
module Data.Columbia.Utils
module Data.Columbia.Gc
module Data.Columbia.FRecord
module Data.Columbia.WithAddress
module Generics.Pointless.Functors
module Control.Monad.IO.Class
module Control.Monad.Reader
Idioms
readCompoundData :: forall m d. (Monad m, Data (PairCtx RWCtx NoCtx) d) => ReaderT (SeekableStream m Word8) m d Source #
Most common idiom of using readOneLayer
; reads an entire data structure.
writeCompoundData :: forall m d. (Monad m, Data (PairCtx RWCtx NoCtx) d) => d -> ReaderT (SeekableWriter m Word8) m () Source #
Convenient idiom; sells targets repeatedly until the entire data structure has been written.
readDataWithCycles :: forall m d. (MonadFix m, StateM m, StateOf m ~ Map Word32 Dynamic, Data (PairCtx RWCtx (PairCtx KeyCtx NoCtx)) d) => ReaderT (SeekableStream m Word8) m d Source #
writeDataWithCycles :: forall m d. (StateM m, StateOf m ~ Map (DynamicWithCtx KeyComparable) Word32, Data (PairCtx RWCtx (PairCtx KeyCtx NoCtx)) d) => d -> ReaderT (SeekableWriter m Word8) m () Source #