Copyright | (C) 2013-2016 University of Twente |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Extensions |
|
The Product/Signal isomorphism
- class Bundle a where
- type Unbundled' (clk :: Clock) a = res | res -> clk
Documentation
Isomorphism between a Signal
of a product type (e.g. a tuple) and a
product type of Signal'
s.
Instances of 'bundle must satisfy the following laws:
bundle
.unbundle
=id
unbundle
.bundle
=id
By default, bundle
and unbundle
, are defined as the identity, that is,
writing:
data D = A | B instance 'bundle D
is the same as:
data D = A | B instance 'bundle D where typeUnbundled'
clk D =Signal'
clk Dbundle
_ s = sunbundle
_ s = s
type Unbundled' (clk :: Clock) a = res | res -> clk Source #
bundle :: Unbundled' clk a -> Signal' clk a Source #
Example:
bundle :: (Signal'
clk a,Signal'
clk b) ->Signal'
clk (a,b)
However:
bundle ::Signal'
clkBit
->Signal'
clkBit
bundle :: Signal' clk a -> Signal' clk a Source #
Example:
bundle :: (Signal'
clk a,Signal'
clk b) ->Signal'
clk (a,b)
However:
bundle ::Signal'
clkBit
->Signal'
clkBit
unbundle :: Signal' clk a -> Unbundled' clk a Source #
Bundle Bool Source # | |
Bundle Double Source # | |
Bundle Float Source # | |
Bundle Int Source # | |
Bundle Integer Source # | |
Bundle () Source # | Note that: bundle :: () -> Signal' clk () unbundle :: Signal' clk () -> () |
Bundle (Maybe a) Source # | |
Bundle (Index n) Source # | |
Bundle (BitVector n) Source # | |
Bundle (Signed n) Source # | |
Bundle (Unsigned n) Source # | |
Bundle (Either a b) Source # | |
Bundle (a, b) Source # | |
KnownNat n => Bundle (Vec n a) Source # | |
KnownNat d => Bundle (RTree d a) Source # | |
Bundle (a, b, c) Source # | |
Bundle (Fixed rep int frac) Source # | |
Bundle (a, b, c, d) Source # | |
Bundle (a, b, c, d, e) Source # | |
Bundle (a, b, c, d, e, f) Source # | |
Bundle (a, b, c, d, e, f, g) Source # | |
Bundle (a, b, c, d, e, f, g, h) Source # | |