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