idris-0.10: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.ASTUtils

Documentation

data Field rec fld Source

Instances

cg_usedpos :: Field CGInfo [(Int, [UsageReason])] Source

ctxt_lookup :: Name -> Field (Ctxt a) (Maybe a) Source

fgetState :: MonadState s m => Field s a -> m a Source

fmodifyState :: MonadState s m => Field s a -> (a -> a) -> m () Source

fputState :: MonadState s m => Field s a -> a -> m () Source

idris_fixities :: Field IState [FixDecl] Source

ist_callgraph :: Name -> Field IState CGInfo Source

ist_optimisation :: Name -> Field IState OptInfo Source

known_classes :: Field IState (Ctxt ClassInfo) Source

known_terms :: Field IState (Ctxt (Def, Accessibility, Totality, MetaInformation)) Source

opt_detaggable :: Field OptInfo Bool Source

opt_inaccessible :: Field OptInfo [(Int, Name)] Source

opts_idrisCmdline :: Field IState [Opt] Source

repl_definitions :: Field IState [Name] Source