chalmers-lava2000-1.1.1: Hardware description library
Source code
Contents
Index
Lava.Ref
Documentation
data
Ref
a
Source
Instances
Eq
(
Ref
a)
Show
a =>
Show
(
Ref
a)
ref
:: a ->
Ref
a
Source
deref
::
Ref
a -> a
Source
memoRef
:: (
Ref
a -> b) ->
Ref
a -> b
Source
data
TableIO
a b
Source
Instances
Eq
(
TableIO
a b)
tableIO
::
IO
(
TableIO
a b)
Source
extendIO
::
TableIO
a b ->
Ref
a -> b ->
IO
()
Source
findIO
::
TableIO
a b ->
Ref
a ->
IO
(
Maybe
b)
Source
memoRefIO
:: (
Ref
a ->
IO
b) ->
Ref
a ->
IO
b
Source
data
TableST
s a b
Source
Instances
Eq
(
TableST
s a b)
tableST
::
ST
s (
TableST
s a b)
Source
extendST
::
TableST
s a b ->
Ref
a -> b ->
ST
s
()
Source
findST
::
TableST
s a b ->
Ref
a ->
ST
s (
Maybe
b)
Source
memoRefST
:: (
Ref
a ->
ST
s b) ->
Ref
a ->
ST
s b
Source
Produced by
Haddock
version 2.6.1