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