unsafe -package:base package:constraints

module Data.Constraint.Unsafe
constraints
unsafeAlternative :: forall m a . MonadPlus m => (Alternative m => m a) -> m a
constraints Data.Constraint.Unsafe
Construct an Alternative instance from a MonadPlus
unsafeApplicative :: forall m a . Monad m => (Applicative m => m a) -> m a
constraints Data.Constraint.Unsafe
Construct an Applicative instance from a Monad
unsafeCoerceConstraint :: a :- b
constraints Data.Constraint.Unsafe
Coerce a dictionary unsafely from one type to another
unsafeDerive :: Coercible n o => (o -> n) -> t o :- t n
constraints Data.Constraint.Unsafe
Coerce a dictionary unsafely from one type to a newtype of that type
unsafeUnderive :: Coercible n o => (o -> n) -> t n :- t o
constraints Data.Constraint.Unsafe
Coerce a dictionary unsafely from a newtype of a type to the base type