Safe Haskell	None
Language	GHC2024

Language.Drasil.Expr.Extract

Description

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

Synopsis

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

Documentation

eDep :: Expr -> [UID] Source #

Get dependencies from an equation.

eNames :: Expr -> [UID] Source #

Generic traverse of all expressions that could lead to names.

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 (similar to eNames).