darcs-2.1.98.2: a distributed, interactive, smart revision control systemSource codeContentsIndex
Darcs.Sealed
Documentation
data Sealed a whereSource
Constructors
Sealed :: a -> Sealed a
show/hide Instances
MyEq p => Eq (Sealed p)
Show1 a => Show (Sealed a)
seal :: a -> Sealed aSource
unseal :: (a -> b) -> Sealed a -> bSource
mapSeal :: (a -> b) -> Sealed a -> Sealed bSource
unsafeUnseal :: Sealed a -> aSource
unsafeUnflippedseal :: FlippedSeal a -> aSource
unsafeUnseal2 :: Sealed2 a -> aSource
data Sealed2 a whereSource
Constructors
Sealed2 :: !a -> Sealed2 a
show/hide Instances
Show2 a => Show (Sealed2 a)
seal2 :: a -> Sealed2 aSource
unseal2 :: (a -> b) -> Sealed2 a -> bSource
mapSeal2 :: (a -> b) -> Sealed2 a -> Sealed2 bSource
data FlippedSeal a whereSource
Constructors
FlippedSeal :: !a -> FlippedSeal a
flipSeal :: a -> FlippedSeal aSource
unsealFlipped :: (a -> b) -> FlippedSeal a -> bSource
mapFlipped :: (a -> b) -> FlippedSeal a -> FlippedSeal bSource
unsealM :: Monad m => m (Sealed a) -> (a -> m b) -> m bSource
liftSM :: Monad m => (a -> b) -> m (Sealed a) -> m bSource
Produced by Haddock version 2.4.2