Basement.MutableBuilder

Documentation

newtype Builder collection mutCollection step state err a

Constructors

Builder

Fields

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

Instances

Monad state => Monad (Builder collection mutCollection step state err)

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

fail :: String -> Builder collection mutCollection step state err a

Monad state => Functor (Builder collection mutCollection step state err)

Methods

fmap :: (a -> b) -> Builder collection mutCollection step state err a -> Builder collection mutCollection step state err b

(<$) :: a -> Builder collection mutCollection step state err b -> Builder collection mutCollection step state err a

Monad state => Applicative (Builder collection mutCollection step state err)

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 => MonadFailure (Builder collection mutCollection step state err)

Associated Types

type Failure (Builder collection mutCollection step state err :: * -> *) :: *

Methods

mFail :: Failure (Builder collection mutCollection step state err) -> Builder collection mutCollection step state err ()

type Failure (Builder collection mutCollection step state err)

type Failure (Builder collection mutCollection step state err) = err

data BuildingState collection mutCollection 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.

Constructors

BuildingState

Fields

• prevChunks :: [collection]
• prevChunksSize :: !(CountOf step)
• curChunk :: mutCollection state
• chunkSize :: !(CountOf step)