Basement.MutableBuilder

newtypenewtype Builder collection (mutCollection :: Type -> Type) step (state :: Type -> Type) err a

Builder
- runBuilder :: State (Offset step, BuildingState collection mutCollection step (PrimState state), Maybe err) state a

Instances5Monad, Functor, Applicative, MonadFailure, Failure

Monad state => Monad (Builder collection mutCollection step state err)Defined in basement-0.0.16 · Basement.MutableBuilder
Monad state => Functor (Builder collection mutCollection step state err)Defined in basement-0.0.16 · Basement.MutableBuilder
Monad state => Applicative (Builder collection mutCollection step state err)Defined in basement-0.0.16 · Basement.MutableBuilder
Monad state => MonadFailure (Builder collection mutCollection step state err)Defined in basement-0.0.16 · Basement.MutableBuilder
type Failure (Builder collection mutCollection step state err) = errDefined in basement-0.0.16 · Basement.MutableBuilder

datadata BuildingState collection (mutCollection :: Type -> Type) step state

The in-progress state of a building operation.

The previous buffers are in reverse order, and this contains the current buffer and the state of progress packing the elements inside.

BuildingState
- prevChunks :: [collection]
- prevChunksSize :: !CountOf step
- curChunk :: mutCollection state
- chunkSize :: !CountOf step