Wired-0.2: Wire-aware hardware description
Source code
Contents
Index
Data.Hardware
Description
This module exports the types that users of
Lava
,
Layout
and
Wired
(not the internal modules) will need.
Synopsis
data
Res
t a =
R
{
result
:: !a
}
type
Name
=
String
type
Tag
=
String
newtype
Length
=
Length
{
unLength
::
Integer
}
type
XPos
=
Length
type
YPos
=
Length
type
Width
=
Length
type
Height
=
Length
addLen
::
Length
->
Length
->
Length
subLen
::
Length
->
Length
->
Length
mulLen
::
Integral
n =>
Length
-> n ->
Length
mulLen2
::
Length
->
Length
->
Integer
divLen
::
Integral
n =>
Length
-> n ->
Length
type
Layer
=
Int
data
Time
type
Delay
=
Time
Documentation
data
Res
t a
Source
The phantom parameter
t
can be used to pass a type constraint to an overloaded function.
Constructors
R
result
:: !a
Instances
Functor
(
Res
t)
Eq
a =>
Eq
(
Res
t a)
Show
a =>
Show
(
Res
t a)
type
Name
=
String
Source
type
Tag
=
String
Source
newtype
Length
Source
Constructors
Length
unLength
::
Integer
Instances
Eq
Length
Value
Length
=>
Fractional
Length
Value
Length
=>
Num
Length
Ord
Length
Show
Length
Arbitrary
Length
Value
Length
PSShow
Length
type
XPos
=
Length
Source
type
YPos
=
Length
Source
type
Width
=
Length
Source
type
Height
=
Length
Source
addLen
::
Length
->
Length
->
Length
Source
subLen
::
Length
->
Length
->
Length
Source
mulLen
::
Integral
n =>
Length
-> n ->
Length
Source
mulLen2
::
Length
->
Length
->
Integer
Source
divLen
::
Integral
n =>
Length
-> n ->
Length
Source
type
Layer
=
Int
Source
data
Time
Source
Instances
Eq
Time
Fractional
Time
Num
Time
Ord
Time
Show
Time
IsTime
Time
DoubleCast
Time
IntCast
Time
Port
Time
Time
Multiply
Resistance
Capacitance
Time
Multiply
Capacitance
Resistance
Time
PortStruct
Time
Time
()
type
Delay
=
Time
Source
Produced by
Haddock
version 2.4.2