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

Safe Haskell	None
Language	Haskell2010

Type.Hidden

Documentation

class Hidden t where Source #

Minimal complete definition

Methods

hide :: a -> t Source #

reveal :: t -> a Source #

Instances

Hidden Any Source #
Methods hide :: a -> Any Source # reveal :: Any -> a Source #

data Any where Source #

Constructors

Any :: a -> Any

Instances

Show Any Source #
Methods showsPrec :: Int -> Any -> ShowS # show :: Any -> String # showList :: [Any] -> ShowS #
Hidden Any Source #
Methods hide :: a -> Any Source # reveal :: Any -> a Source #