Wired-0.2: Wire-aware hardware descriptionSource codeContentsIndex
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
show/hide Instances
Functor (Res t)
Eq a => Eq (Res t a)
Show a => Show (Res t a)
type Name = StringSource
type Tag = StringSource
newtype Length Source
Constructors
Length
unLength :: Integer
show/hide Instances
type XPos = LengthSource
type YPos = LengthSource
type Width = LengthSource
type Height = LengthSource
addLen :: Length -> Length -> LengthSource
subLen :: Length -> Length -> LengthSource
mulLen :: Integral n => Length -> n -> LengthSource
mulLen2 :: Length -> Length -> IntegerSource
divLen :: Integral n => Length -> n -> LengthSource
type Layer = IntSource
data Time Source
show/hide Instances
type Delay = TimeSource
Produced by Haddock version 2.4.2