Darcs.Witnesses.Sealed

Documentation

data Sealed a where

Constructors

Sealed :: a -> Sealed a

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

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