AST.Class.Has

A class for records holding a single element of a given type.

Useful for records of values for several different types, for example when performing unification of heterogenous ASTs, the record Knot can be used to hold the unification variables mappings for each of the AST types.

Documentation

class HasChild record child where

HasChild record child represents that record has exactly one child node of child

Methods

getChild :: Lens' (Tree record k) (Tree k child)

A Lens from the record to the child node

Instances

HasChild (ANode c) c

Defined in AST.Combinator.ANode

Methods

getChild :: Lens' (Tree (ANode c) k) (Tree k c)