| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Basement.MutableBuilder
Synopsis
- newtype Builder collection mutCollection step state err a = Builder {
- runBuilder :: State (Offset step, BuildingState collection mutCollection step (PrimState state), Maybe err) state a
- data BuildingState collection mutCollection step state = BuildingState {
- prevChunks :: [collection]
- prevChunksSize :: !(CountOf step)
- curChunk :: mutCollection state
- chunkSize :: !(CountOf step)
Documentation
newtype Builder collection mutCollection step state err a Source #
Constructors
| Builder | |
Fields
| |
Instances
| Monad state => Applicative (Builder collection mutCollection step state err) Source # | |
Defined in Basement.MutableBuilder Methods pure :: a -> Builder collection mutCollection step state err a # (<*>) :: Builder collection mutCollection step state err (a -> b) -> Builder collection mutCollection step state err a -> Builder collection mutCollection step state err b # liftA2 :: (a -> b -> c) -> Builder collection mutCollection step state err a -> Builder collection mutCollection step state err b -> Builder collection mutCollection step state err c # (*>) :: Builder collection mutCollection step state err a -> Builder collection mutCollection step state err b -> Builder collection mutCollection step state err b # (<*) :: Builder collection mutCollection step state err a -> Builder collection mutCollection step state err b -> Builder collection mutCollection step state err a # | |
| Monad state => Functor (Builder collection mutCollection step state err) Source # | |
| Monad state => Monad (Builder collection mutCollection step state err) Source # | |
Defined in Basement.MutableBuilder Methods (>>=) :: Builder collection mutCollection step state err a -> (a -> Builder collection mutCollection step state err b) -> Builder collection mutCollection step state err b # (>>) :: Builder collection mutCollection step state err a -> Builder collection mutCollection step state err b -> Builder collection mutCollection step state err b # return :: a -> Builder collection mutCollection step state err a # | |
| Monad state => MonadFailure (Builder collection mutCollection step state err) Source # | |
| type Failure (Builder collection mutCollection step state err) Source # | |
Defined in Basement.MutableBuilder | |
data BuildingState collection mutCollection step state Source #
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.
Constructors
| BuildingState | |
Fields
| |