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.

class (HasVars f v, Functor f, Foldable f) => Decompose f v where

This class specifies the decomposability of a functorial value.

Methods

decomp :: f a -> Decomp f v a

This function decomposes a functorial value.

Instances

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

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.