isobmff-builder-0.11.3.0: A (bytestring-) builder for the ISO-14496-12 base media file format

Safe HaskellNone
LanguageHaskell2010

Data.Type.BitRecords.Builder.Holey

Documentation

newtype Holey m r a Source #

Constructors

HM 

Fields

Instances

Monoid m => Category * (Holey m) Source # 

Methods

id :: cat a a #

(.) :: cat b c -> cat a b -> cat a c #

Monoid m => Monoid (Holey m r r) Source # 

Methods

mempty :: Holey m r r #

mappend :: Holey m r r -> Holey m r r -> Holey m r r #

mconcat :: [Holey m r r] -> Holey m r r #

hoistM :: (m -> n) -> Holey m a b -> Holey n a b Source #

hoistR :: (s -> r) -> Holey m r a -> Holey m s a Source #

immediate :: m -> Holey m r r Source #

indirect :: (a -> m) -> Holey m r (a -> r) Source #

bind :: Holey m b c -> (m -> Holey n a b) -> Holey n a c Source #

applyHoley :: Holey m r (a -> b) -> a -> Holey m r b Source #

taggedHoley :: forall tag m r a x. Holey m r (a -> x) -> Holey m r (Tagged tag a -> x) Source #

mapHoley :: (a -> b) -> Holey m r a -> Holey m r b Source #

runHoley :: Holey m m a -> a Source #