Data.Columbia

Documentation

module Data.Columbia.CompoundData

module Data.Columbia.CycleDetection

module Data.Columbia.Utils

module Data.Columbia.Integral

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

Idioms

rwProxy :: Proxy (PairCtx RWCtx NoCtx)

readCompoundData :: forall m d. (Monad m, Data (PairCtx RWCtx NoCtx) d) => ReaderT (SeekableStream m Word8) m d

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 ()

Convenient idiom; sells targets repeatedly until the entire data structure has been written.

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 ()