idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.ASTUtils

Documentation

data Field rec fld Source

Constructors

Field 

Fields

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

Instances

Category Field 

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

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

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) aSource

ist_optimisation :: Name -> Field IState OptInfoSource

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

opt_detaggable :: Field OptInfo BoolSource

ist_callgraph :: Name -> Field IState CGInfoSource

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