idris-0.9.17.1: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.ASTUtils

Documentation

data Field rec fld Source

Constructors

Field 

Fields

fget :: rec -> fld
 
fset :: fld -> rec -> rec
 

Instances

fmodify :: Field rec fld -> (fld -> fld) -> rec -> rec Source

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

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

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

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

maybe_default :: a -> Field (Maybe a) a Source

ist_optimisation :: Name -> Field IState OptInfo Source

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

opt_detaggable :: Field OptInfo Bool Source

ist_callgraph :: Name -> Field IState CGInfo Source

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

opts_idrisCmdline :: Field IState [Opt] Source

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

known_classes :: Field IState (Ctxt ClassInfo) Source

repl_definitions :: Field IState [Name] Source

idris_fixities :: Field IState [FixDecl] Source