syntax-tree-0.1.0.1: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Term.NamelessScope.InvDeBruijn

Documentation

scope :: forall expr a f. InvDeBruijnIndex a => (Int -> Tree f (expr (Maybe a))) -> Tree (Scope expr a) f Source #