Copyright	(c) 2021 Xy Ren
License	BSD3
Maintainer	xy.r@outlook.com
Stability	unstable
Portability	non-portable (GHC only)
Safe Haskell	None
Language	Haskell2010

Data.Any

Description

Synopsis

type family Any :: k where ...
pattern Any :: forall a. a -> Any
fromAny :: (Any :: Type) -> a

Documentation

type family Any :: k where ... #

The type constructor Any is type to which you can unsafely coerce any lifted type, and back. More concretely, for a lifted type t and value x :: t, -- unsafeCoerce (unsafeCoerce x :: Any) :: t is equivalent to x.

pattern Any :: forall a. a -> Any Source #

A pattern synonym for coercing values to and from Any. This is not any less unsafe but prevents possible misuses.

fromAny :: (Any :: Type) -> a Source #