Control.Imperative

var

val

ref

assign

(=:)

type MonadImperative m

type family BaseEff m :: * -> *

class Indexable v

Control Structures

whenR

unlessR

ifR

whileR

untilR

doWhileR

Types

data Ref m a

data Size n

dim1

dim2

dim3

Re-exports