Data.Constraint.Unsafely.Really

Really unsafe module to provide internal interface. This module should be imported if you wish to allow the unsafe computation globally.

But be careful: the unsafety contaminates entire the program once you write the instance for ReallyUnsafe somewhere.

Documentation

class ReallyUnsafely t

The trick type-class to prevent providing global instances for Unsafely. This class is not exported in Data.Constraint.Unsafely, so if you want to permit unsafe operations globally, you should import this module directly.

class ReallyUnsafely t => Unsafely t

The constraint for the instances which might be unsafe in some sence. t in Unsafely t is the dummy tag for some series of unsafe operations.

Instances

ReallyUnsafely k t => Unsafely k t

unsafely :: forall t a. Proxy t -> (Unsafely t => a) -> a

Evaluate the value which might be unsafe.