{-# LANGUAGE CPP #-}
module Data.ECTA (
Edge(Edge)
, mkEdge
, edgeChildren
, edgeSymbol
, Node(Node, EmptyNode)
, nodeEdges
, numNestedMu
, createMu
, pathsMatching
, mapNodes
, refold
, unfoldBounded
, crush
, onNormalNodes
, nodeCount
, edgeCount
, maxIndegree
, union
, intersect
, withoutRedundantEdges
, reducePartially
, EnumerateM
, runEnumerateM
, enumerateFully
, getAllTerms
, getAllTruncatedTerms
, naiveDenotation
, toDot
) where
import Data.ECTA.Internal.ECTA.Enumeration
import Data.ECTA.Internal.ECTA.Operations
import Data.ECTA.Internal.ECTA.Type
import Data.ECTA.Internal.ECTA.Visualization