Data.Hardware.Internal

Contents

• Type-parameterized results
• Difference strings
• Identifiers
• Numerical types
• Misc. types
• Total lookup in partial maps
• Spanning trees
  • Properties
• Bilinear interpolation

Description

Synopsis

• data Res t a = R {
  • result :: !a
  }
• (.+) :: ShowS -> ShowS -> ShowS
• unwordS :: [ShowS] -> ShowS
• unlineS :: [ShowS] -> ShowS
• type Name = String
• type Tag = String
• class Num n => IntCast n where
  • toInt :: n -> Int
  • fromInt :: Int -> n
• class Num n => DoubleCast n where
  • toDouble :: n -> Double
  • fromDouble :: Double -> n
• icast :: (IntCast m, IntCast n) => m -> n
• dcast :: (DoubleCast m, DoubleCast n) => m -> n
• class Multiply n1 n2 n3 | n1 n2 -> n3, n1 n3 -> n2, n2 n3 -> n1 where
  • (><) :: n1 -> n2 -> n3
• newtype InPin = InPin Int
• newtype OutPin = OutPin Int
• newtype PrimInpId = PrimInpId Int
• newtype CellId = CellId Int
• newtype Length = Length {
  • unLength :: Integer
  }
• type XPos = Length
• type YPos = Length
• type Width = Length
• type Height = Length
• class Value v where
  • value :: v -> Rational
• addLen :: Length -> Length -> Length
• subLen :: Length -> Length -> Length
• mulLen :: Integral n => Length -> n -> Length
• mulLen2 :: Length -> Length -> Integer
• divLen :: Integral n => Length -> n -> Length
• newtype Layer_ = Layer Int
• type Layer = Int
• newtype Capacitance = Cap Double
• newtype Resistance = Res Double
• newtype Time = Time Double
• type Delay = Time
• newtype TransitionTime = TransitionTime Double
• class DoubleCast t => IsTime t
• timeCast :: (IsTime t1, IsTime t2) => t1 -> t2
• type Position = (XPos, YPos)
• type Size = (Width, Height)
• data Angle
  • = Horizontal
  • | Vertical
• data Direction
  • = Rightwards
  • | Leftwards
  • | Upwards
  • | Downwards
• type Orientation = (Bool, Direction)
• directionAngle :: Direction -> Angle
• north :: Orientation
• totalLookup :: Ord k => k -> Map k [a] -> [a]
• spanning :: ((Position, Position) -> Double) -> [Position] -> [(Position, Position)]
• euclidDistance :: (Position, Position) -> Double
• rectiDistance :: (Position, Position) -> Double
• euclidSpanning :: [Position] -> [(Position, Position)]
• rectiSpanning :: [Position] -> [(Position, Position)]
• prop_span1 :: ((Position, Position) -> Double) -> [Position] -> Property
• prop_span2 :: ((Position, Position) -> Double) -> [Position] -> Property
• prop_span3 :: ((Position, Position) -> Double) -> [Position] -> Property
• prop_span4 :: ((Position, Position) -> Double) -> [(XPos, YPos)] -> Bool
• prop_span5 :: ((Position, Position) -> Double) -> [(Length, Length)] -> Int -> Bool
• prop_span6 :: ((Position, Position) -> Double) -> [Position] -> Bool
• checkAll :: IO ()
• data Table2D i x y q = Table2D {
  • tableLengthX :: i
  • tableLengthY :: i
  • tableAxisX :: i -> x
  • tableAxisY :: i -> y
  • tableValues :: i -> i -> q
  }
• nearestPoints :: (Num i, Eq i, Ord a) => i -> (i -> a) -> a -> ((i, a), (i, a))
• bilinInterpolate1 :: (Fractional x, Fractional y, Fractional q, DoubleCast x, DoubleCast y, DoubleCast q) => (x, y) -> (x, y) -> (q, q, q, q) -> x -> y -> q
• findPoints :: (Num i, Eq i, Ord x, Ord y) => Table2D i x y q -> x -> y -> ((x, y), (x, y), (q, q, q, q))
• bilinInterpolate :: (Num i, Eq i, Ord x, Ord y, Fractional x, Fractional y, Fractional q, DoubleCast x, DoubleCast y, DoubleCast q) => Table2D i x y q -> x -> y -> q

Type-parameterized results

Difference strings

Identifiers

Numerical types

Misc. types

Total lookup in partial maps

Spanning trees

Properties

Bilinear interpolation