| Safe Haskell | None |
|---|
Data.Rope.Branded
Contents
- data Branded brand t a = Branded {
- context :: !t
- extractBranded :: a
- data Unsafe
- type UBR a = (Unsafe `Branded` Rope) a
- null :: Branded s Rope a -> Bool
- head :: Unpackable t => Branded s Rope a -> t
- last :: Unpackable t => Branded s Rope a -> t
- unpack :: Unpackable t => Branded s Rope a -> [t]
- runBranded :: Branded s t a -> (a, t)
- execBranded :: Branded s t a -> t
Documentation
Constructors
| Branded | |
Fields
| |
Instances
| Monoid t => MonadWriter t (Branded Unsafe t) | |
| Measured v t => Measured v (Branded s t a) | |
| Monoid t => Monad (Branded Unsafe t) | |
| Functor (Branded s t) | |
| Monoid t => Applicative (Branded Unsafe t) | |
| Foldable (Branded s t) | |
| Traversable (Branded s t) | |
| Comonad (Branded s t) | |
| (Monoid t, Monoid m) => Monoid (Branded Unsafe t m) |
Unpacking Ropes
head :: Unpackable t => Branded s Rope a -> tSource
last :: Unpackable t => Branded s Rope a -> tSource
unpack :: Unpackable t => Branded s Rope a -> [t]Source
MonadWriter
runBranded :: Branded s t a -> (a, t)Source
execBranded :: Branded s t a -> tSource