typelevel-1.2.3: Useful type level operations (type families and related operators).

Safe Haskell	None
Language	Haskell2010

Type.Hidden

Documentation

class Hidden t where Source #

Methods

hide :: a -> t Source #

reveal :: t -> a Source #

Instances

Hidden Any Source #
Instance details Defined in Type.Hidden Methods hide :: a -> Any Source # reveal :: Any -> a Source #

data Any where Source #

Constructors

Any :: a -> Any

Instances

Show Any Source #
Instance details Defined in Type.Hidden Methods showsPrec :: Int -> Any -> ShowS # show :: Any -> String # showList :: [Any] -> ShowS #
Hidden Any Source #
Instance details Defined in Type.Hidden Methods hide :: a -> Any Source # reveal :: Any -> a Source #