| ||||||
| ||||||
Documentation | ||||||
data Sealed a where | ||||||
| ||||||
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 | ||||||
| ||||||
seal2 :: a -> Sealed2 a | ||||||
unseal2 :: (a -> b) -> Sealed2 a -> b | ||||||
mapSeal2 :: (a -> b) -> Sealed2 a -> Sealed2 b | ||||||
data FlippedSeal a where | ||||||
| ||||||
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 |