Data.Comp.Decompose

This module implements the decomposition of terms into function symbols and arguments resp. variables.

Documentation

data Decomp f v a

This type represents decompositions of functorial values.

Constructors

Var v

Fun (Const f) [a]

type DecompTerm f v = Decomp f v (Term f)

This type represents decompositions of terms.

type Decompose f v = (HasVars f v, Functor f, Foldable f)

This class specifies the decomposability of a functorial value.

decomp :: Decompose f v => f a -> Decomp f v a

structure :: Functor f => f a -> Const f

This function computes the structure of a functorial value.

arguments :: Foldable f => f a -> [a]

This function computes the arguments of a functorial value.

decompose :: Decompose f v => Term f -> DecompTerm f v

This function decomposes a term.