Safe Haskell | None |
---|
IRTS.Simplified
Documentation
lvar :: (Ord s, MonadState s m) => s -> m ()Source
idris-0.9.11: Functional Programming Language with Dependent Types
Safe Haskell | None |
---|
IRTS.Simplified
lvar :: (Ord s, MonadState s m) => s -> m ()Source