syntax-tree-0.1.0.1: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Term.NamelessScope.InvDeBruijn

Documentation

class DeBruijnIndex a => InvDeBruijnIndex a where Source #

Methods

deBruijnIndexMax :: Proxy a -> Int Source #

Instances
InvDeBruijnIndex EmptyScope Source # 
Instance details

Defined in AST.Term.NamelessScope.InvDeBruijn

Methods

deBruijnIndexMax :: Proxy EmptyScope -> Int Source #

InvDeBruijnIndex a => InvDeBruijnIndex (Maybe a) Source # 
Instance details

Defined in AST.Term.NamelessScope.InvDeBruijn

Methods

deBruijnIndexMax :: Proxy (Maybe a) -> Int Source #

inverseDeBruijnIndex :: forall a. InvDeBruijnIndex a => Prism' Int a Source #

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

scopeVar :: InvDeBruijnIndex a => Int -> ScopeVar expr a f Source #