Heart.Core.Builder

Documentation

data Builder a b

Instances

Functor (Builder a)

Defined in Heart.Core.Builder

Methods

fmap :: (a0 -> b) -> Builder a a0 -> Builder a b

(<$) :: a0 -> Builder a b -> Builder a a0

premapBuilder :: (z -> a) -> Builder a b -> Builder z b

newBuilder :: MonadIO m => (b -> a -> b) -> b -> m (Builder a b)

newMonoidBuilder :: (MonadIO m, Monoid b) => m (Builder b b)

addBuilder :: MonadIO m => Builder a b -> a -> m ()

addAllBuilder :: (MonadIO m, Foldable f) => Builder a b -> f a -> m ()

consumeBuilder :: MonadIO m => Builder a b -> ListT m a -> m ()

drainBuilder :: MonadIO m => Builder a b -> m b

runBuilder :: MonadIO m => (b -> a -> b) -> b -> (Builder a b -> m c) -> m (b, c)

evalBuilder :: MonadIO m => (b -> a -> b) -> b -> (Builder a b -> m ()) -> m b

type SeqBuilder a = Builder a (Seq a)

newSeqBuilder :: MonadIO m => m (SeqBuilder a)

runSeqBuilder :: MonadIO m => (SeqBuilder a -> m c) -> m (Seq a, c)

evalSeqBuilder :: MonadIO m => (SeqBuilder a -> m ()) -> m (Seq a)

type MapBuilder k v = Builder (k, v) (Map k v)

newMapBuilder :: (MonadIO m, Ord k) => m (MapBuilder k v)

runMapBuilder :: (MonadIO m, Ord k) => (MapBuilder k v -> m c) -> m (Map k v, c)

evalMapBuilder :: (MonadIO m, Ord k) => (MapBuilder k v -> m ()) -> m (Map k v)

type SetBuilder k = Builder k (Set k)

newSetBuilder :: (MonadIO m, Ord k) => m (SetBuilder k)

runSetBuilder :: (MonadIO m, Ord k) => (SetBuilder k -> m c) -> m (Set k, c)

evalSetBuilder :: (MonadIO m, Ord k) => (SetBuilder k -> m ()) -> m (Set k)

type HashMapBuilder k v = Builder (k, v) (HashMap k v)

newHashMapBuilder :: (MonadIO m, Eq k, Hashable k) => m (HashMapBuilder k v)

runHashMapBuilder :: (MonadIO m, Eq k, Hashable k) => (HashMapBuilder k v -> m c) -> m (HashMap k v, c)

evalHashMapBuilder :: (MonadIO m, Eq k, Hashable k) => (HashMapBuilder k v -> m ()) -> m (HashMap k v)

type HashSetBuilder k = Builder k (HashSet k)

newHashSetBuilder :: (MonadIO m, Eq k, Hashable k) => m (HashSetBuilder k)

runHashSetBuilder :: (MonadIO m, Eq k, Hashable k) => (HashSetBuilder k -> m c) -> m (HashSet k, c)

evalHashSetBuilder :: (MonadIO m, Eq k, Hashable k) => (HashSetBuilder k -> m ()) -> m (HashSet k)

type OrdMultiMapBuilder k v = Builder (k, v) (OrdMultiMap k v)

newOrdMultiMapBuilder :: (MonadIO m, Ord k, Ord v) => m (OrdMultiMapBuilder k v)

runOrdMultiMapBuilder :: (MonadIO m, Ord k, Ord v) => (OrdMultiMapBuilder k v -> m c) -> m (OrdMultiMap k v, c)

evalOrdMultiMapBuilder :: (MonadIO m, Ord k, Ord v) => (OrdMultiMapBuilder k v -> m ()) -> m (OrdMultiMap k v)

type HashMultiMapBuilder k v = Builder (k, v) (HashMultiMap k v)

newHashMultiMapBuilder :: (MonadIO m, Eq k, Hashable k, Eq v, Hashable v) => m (HashMultiMapBuilder k v)

runHashMultiMapBuilder :: (MonadIO m, Eq k, Hashable k, Eq v, Hashable v) => (HashMultiMapBuilder k v -> m c) -> m (HashMultiMap k v, c)

evalHashMultiMapBuilder :: (MonadIO m, Eq k, Hashable k, Eq v, Hashable v) => (HashMultiMapBuilder k v -> m ()) -> m (HashMultiMap k v)