reallyUnsafe -package:effectful-core
Compare the underlying pointers of two values for equality.
Returns
1 if the pointers are equal and
0 otherwise.
The two values must be of the same type, of kind
Type. See
also
reallyUnsafePtrEquality#, which doesn't have such
restrictions.
A coercion between two
Refined types, magicking up the claim
that one predicate is entirely equivalent to another.
Constructs a
Refined value, completely ignoring any
refinements! Use this only when you can manually prove that the
refinement holds.
A coercion between a type and any refinement of that type. See
Data.Type.Coercion for functions manipulating coercions.
Warning: This function may violate type safety. Use with care!