Wired-0.2.1: Wire-aware hardware description Source code Contents Index

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

This module defines types of a general nature that are used by the Lava, Layout and Wired libraries. It also defines operations on those types.

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)] data Table2D i x y q = Table2D { tableLengthX :: i tableLengthY :: i tableAxisX :: i -> x tableAxisY :: i -> y tableValues :: i -> i -> q } nearestPoints :: (Num 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, Ord x, Ord y) => Table2D i x y q -> x -> y -> ((x, y), (x, y), (q, q, q, q)) bilinInterpolate :: (Num 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

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)

Difference strings

(.+) :: ShowS -> ShowS -> ShowS Source

unwordS :: [ShowS] -> ShowS Source

unlineS :: [ShowS] -> ShowS Source

Identifiers

type Name = String Source

type Tag = String Source

Numerical types

class Num n => IntCast n where Source

Methods toInt :: n -> Int Source fromInt :: Int -> n Source Instances IntCast Double IntCast Int IntCast Integer IntCast TransitionTime IntCast Time IntCast Resistance IntCast Capacitance IntCast Layer_ IntCast CellId IntCast PrimInpId IntCast OutPin IntCast InPin IntCast Elasticity

class Num n => DoubleCast n where Source

Methods toDouble :: n -> Double Source fromDouble :: Double -> n Source Instances DoubleCast Double DoubleCast Int DoubleCast Integer DoubleCast TransitionTime DoubleCast Time DoubleCast Resistance DoubleCast Capacitance

icast :: (IntCast m, IntCast n) => m -> n Source

dcast :: (DoubleCast m, DoubleCast n) => m -> n Source

class Multiply n1 n2 n3 | n1 n2 -> n3, n1 n3 -> n2, n2 n3 -> n1 where Source

Methods (><) :: n1 -> n2 -> n3 Source Instances DoubleCast n => Multiply Double n n DoubleCast n => Multiply n Double n Multiply Resistance Capacitance Time Multiply Resistance Capacitance Time Multiply Resistance Capacitance Time Multiply Capacitance Resistance Time Multiply Capacitance Resistance Time Multiply Capacitance Resistance Time

newtype InPin Source

Constructors InPin Int Instances Enum InPin Eq InPin Integral InPin Num InPin Ord InPin Real InPin Show InPin IntCast InPin

newtype OutPin Source

Constructors OutPin Int Instances Enum OutPin Eq OutPin Integral OutPin Num OutPin Ord OutPin Real OutPin Show OutPin IntCast OutPin

newtype PrimInpId Source

Constructors PrimInpId Int Instances Enum PrimInpId Eq PrimInpId Integral PrimInpId Num PrimInpId Ord PrimInpId Real PrimInpId Show PrimInpId IntCast PrimInpId

newtype CellId Source

Constructors CellId Int Instances Enum CellId Eq CellId Integral CellId Num CellId Ord CellId Real CellId Show CellId IntCast CellId

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

class Value v where Source

Methods value :: v -> Rational Source Instances Value Length

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

newtype Layer_ Source

Constructors Layer Int Instances Enum Layer_ Eq Layer_ Integral Layer_ Num Layer_ Ord Layer_ Real Layer_ Show Layer_ IntCast Layer_

type Layer = Int Source

newtype Capacitance Source

Constructors Cap Double Instances Eq Capacitance Fractional Capacitance Num Capacitance Ord Capacitance Show Capacitance DoubleCast Capacitance IntCast Capacitance Multiply Resistance Capacitance Time Multiply Capacitance Resistance Time

newtype Resistance Source

Constructors Res Double Instances Eq Resistance Fractional Resistance Num Resistance Ord Resistance Show Resistance DoubleCast Resistance IntCast Resistance Multiply Resistance Capacitance Time Multiply Capacitance Resistance Time

newtype Time Source

Constructors Time Double 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

newtype TransitionTime Source

Constructors TransitionTime Double Instances Eq TransitionTime Fractional TransitionTime Num TransitionTime Ord TransitionTime Show TransitionTime IsTime TransitionTime DoubleCast TransitionTime IntCast TransitionTime

class DoubleCast t => IsTime t Source

Instances IsTime TransitionTime IsTime Time

timeCast :: (IsTime t1, IsTime t2) => t1 -> t2 Source

Misc. types

type Position = (XPos, YPos) Source

type Size = (Width, Height) Source

data Angle Source

Constructors Horizontal Vertical Instances Eq Angle Show Angle

data Direction Source

Constructors Rightwards Leftwards Upwards Downwards Instances Eq Direction Show Direction Transformable Direction

type Orientation = (Bool, Direction) Source

directionAngle :: Direction -> Angle Source

north :: Orientation Source

Total lookup in partial maps

totalLookup :: Ord k => k -> Map k [a] -> [a] Source

A lookup function that is defined for all keys.

Spanning trees

spanning :: ((Position, Position) -> Double) -> [Position] -> [(Position, Position)] Source

Computes the minimal spanning tree based on the given distance function.

euclidDistance :: (Position, Position) -> Double Source

rectiDistance :: (Position, Position) -> Double Source

euclidSpanning :: [Position] -> [(Position, Position)] Source

rectiSpanning :: [Position] -> [(Position, Position)] Source

Properties

Bilinear interpolation

data Table2D i x y q Source

Constructors Table2D tableLengthX :: i tableLengthY :: i tableAxisX :: i -> x tableAxisY :: i -> y tableValues :: i -> i -> q

nearestPoints :: (Num i, Ord a) => i -> (i -> a) -> a -> ((i, a), (i, a)) Source

bilinInterpolate1 :: (Fractional x, Fractional y, Fractional q, DoubleCast x, DoubleCast y, DoubleCast q) => (x, y) -> (x, y) -> (q, q, q, q) -> x -> y -> q Source

findPoints :: (Num i, Ord x, Ord y) => Table2D i x y q -> x -> y -> ((x, y), (x, y), (q, q, q, q)) Source

bilinInterpolate :: (Num 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 Source

Produced by Haddock version 2.4.2