AST.Class.HasPlain

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

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

Documentation

class Show (KPlain k) => KHasPlain k where

A class for a plain for of a Tree Pure k

Associated Types

data KPlain k

Plain form data type

Methods

kPlain :: Iso' (KPlain k) (Tree Pure k)

An Iso between the plain and knotted forms