idris-0.9.18.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