sump-0.1.0.2: A Haskell interface to SUMP-compatible logic analyzers

Safe Haskell	None
Language	Haskell2010

System.Hardware.Sump.Types

Contents

Logical levels
Logical transitions
Time

Synopsis

Logical levels

data Level Source #

A logical high or low

Constructors

High
Low

Instances

Bounded Level Source #
Methods minBound :: Level # maxBound :: Level #
Enum Level Source #
Methods succ :: Level -> Level # pred :: Level -> Level # toEnum :: Int -> Level # fromEnum :: Level -> Int # enumFrom :: Level -> [Level] # enumFromThen :: Level -> Level -> [Level] # enumFromTo :: Level -> Level -> [Level] # enumFromThenTo :: Level -> Level -> Level -> [Level] #
Eq Level Source #
Methods (==) :: Level -> Level -> Bool # (/=) :: Level -> Level -> Bool #
Ord Level Source #
Methods compare :: Level -> Level -> Ordering # (<) :: Level -> Level -> Bool # (<=) :: Level -> Level -> Bool # (>) :: Level -> Level -> Bool # (>=) :: Level -> Level -> Bool # max :: Level -> Level -> Level # min :: Level -> Level -> Level #
Show Level Source #
Methods showsPrec :: Int -> Level -> ShowS # show :: Level -> String # showList :: [Level] -> ShowS #

_Low :: Prism' Level () Source #

_High :: Prism' Level () Source #

invert :: Level -> Level Source #

Logical transitions

data Edge Source #

Constructors

Falling
Rising

Instances

Eq Edge Source #
Methods (==) :: Edge -> Edge -> Bool # (/=) :: Edge -> Edge -> Bool #
Ord Edge Source #
Methods compare :: Edge -> Edge -> Ordering # (<) :: Edge -> Edge -> Bool # (<=) :: Edge -> Edge -> Bool # (>) :: Edge -> Edge -> Bool # (>=) :: Edge -> Edge -> Bool # max :: Edge -> Edge -> Edge # min :: Edge -> Edge -> Edge #
Show Edge Source #
Methods showsPrec :: Int -> Edge -> ShowS # show :: Edge -> String # showList :: [Edge] -> ShowS #

startLevel :: Edge -> Level Source #

finalLevel :: Edge -> Level Source #

edgeLevels :: Prism' (Level, Level) Edge Source #

Time

newtype Time Source #

A notion of discrete time

Constructors

Instances

Enum Time Source #
Methods succ :: Time -> Time # pred :: Time -> Time # toEnum :: Int -> Time # fromEnum :: Time -> Int # enumFrom :: Time -> [Time] # enumFromThen :: Time -> Time -> [Time] # enumFromTo :: Time -> Time -> [Time] # enumFromThenTo :: Time -> Time -> Time -> [Time] #
Eq Time Source #
Methods (==) :: Time -> Time -> Bool # (/=) :: Time -> Time -> Bool #
Ord Time Source #
Methods compare :: Time -> Time -> Ordering # (<) :: Time -> Time -> Bool # (<=) :: Time -> Time -> Bool # (>) :: Time -> Time -> Bool # (>=) :: Time -> Time -> Bool # max :: Time -> Time -> Time # min :: Time -> Time -> Time #
Show Time Source #
Methods showsPrec :: Int -> Time -> ShowS # show :: Time -> String # showList :: [Time] -> ShowS #
Wrapped Time Source #
Associated Types type Unwrapped Time :: * # Methods _Wrapped' :: Iso' Time (Unwrapped Time) #
(~) * Time t0 => Rewrapped Time t0 Source #

type Unwrapped Time Source #
type Unwrapped Time = Int