Data.Class.Closed.Example

Documentation

class Example₁ a where

Methods

example₁ :: a

Instances

Example₁ ()

Defined in Data.Class.Closed.Example

Methods

_Example₁_6989586621679032176 :: Proxy (Example₁ ())

example₁ :: ()

class Example₂ a b where

Methods

example₂ :: a -> Proxy (b :: Bool)

Instances

Example₂ a 'True

Defined in Data.Class.Closed.Example

Methods

_Example₂_6989586621679032178 :: Proxy (Example₂ a 'True)

example₂ :: a -> Proxy 'True