Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Drasil.Expr.Extract

Description

Extract UIDs from an expression so that they can be looked up in the chunk database and rendered.

Synopsis

eNames :: Expr -> [UID]
eNamesRI :: RealInterval Expr Expr -> [UID]
eNames' :: Expr -> [UID]
eNamesRI' :: RealInterval Expr Expr -> [UID]
eDep :: Expr -> [UID]

Documentation

eNames :: Expr -> [UID] Source #

Generic traverse of all expressions that could lead to names.

eNamesRI :: RealInterval Expr Expr -> [UID] Source #

Generic traversal of everything that could come from an interval to names (similar to eNames).

eNames' :: Expr -> [UID] Source #

Generic traverse of all positions that could lead to eNames without functions. FIXME : this should really be done via post-facto filtering, but right now the information needed to do this is not available!

eNamesRI' :: RealInterval Expr Expr -> [UID] Source #

Generic traversal of everything that could come from an interval to names without functions (similar to eNames').

eDep :: Expr -> [UID] Source #

Get dependencies from an equation.