hypertypes-0.2.2: Typed ASTs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hyper.Class.HasPlain

Description

A class for plain Type equivalents for the simple forms of HyperTypes.

Useful for succinct tests, examples, and for debug prints.

Synopsis

Documentation

class Show (HPlain h) => HasHPlain h where Source #

A class for a plain form of a Pure # h

Associated Types

data HPlain h Source #

Plain form data type

Methods

hPlain :: Iso' (HPlain h) (Pure # h) Source #

An Iso between the plain form and HyperType form