Data.Reify.TGraph

Documentation

class ShowF f where

Methods

showF :: f a -> String

Instances

ShowF Op

ShowF (V ty)

ShowF v => ShowF (N v)

type Id = Int

Identifiers

data V ty a

Typed variables

Constructors

V Id (ty a)

Instances

ShowF (V ty)

Eq (V ty a)

(Typeable a, Show a, Num a) => Num (E (V Ty) a)

Show (V ty a)

data Bind ty n

Typed binding pair, parameterized by variable and node type constructors.

Constructors

forall a . Bind (V ty a) (n (V ty) a)

Instances

ShowF (n (V ty)) => Show (Bind ty n)

bindEnv :: forall ty n a. IsTy ty => [Bind ty n] -> V ty a -> n (V ty) a

Fast version, using an IntMap. Important: partially apply.

data Graph ty n a

Graph, described by bindings and a root variable

Constructors

Graph [Bind ty n] (V ty a)

Instances

(ShowF (n (V ty)), Show (V ty a)) => Show (Graph ty n a)