Safe Haskell | None |
---|
- 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
Branded | |
|
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