Documentation
unsafeUnseal :: Sealed a -> aSource
unsafeUnflippedseal :: FlippedSeal a -> aSource
unsafeUnseal2 :: Sealed2 a -> aSource
data FlippedSeal a whereSource
FlippedSeal :: !a -> FlippedSeal a |
flipSeal :: a -> FlippedSeal aSource
unsealFlipped :: (a -> b) -> FlippedSeal a -> bSource
mapFlipped :: (a -> b) -> FlippedSeal a -> FlippedSeal bSource