flocc-pffb

Stabilityexperimental
Maintainerdeveloper@flocc.net
Safe HaskellSafe-Inferred

Compiler.Back.Vars

Description

For more information please see http://www.flocc.net/

Synopsis

Documentation

data Scheme a

Constructors

Scheme (Set String) a 

Instances

Eq a => Eq (Scheme a) 
Ord a => Ord (Scheme a) 
Show a => Show (Scheme a) 

class ContainsVars ct where

Methods

visitVars :: Monad m => (String -> m ct) -> ct -> m ct

createVar :: String -> ct

getVars :: ContainsVars ct => ct -> Set String

getVars container. Returns the set of vars in the var container.