idris-0.10: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.ASTUtils

Documentation

data Field rec fld Source

Instances

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