sump-0.1.0.1: 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
Enum Level Source
Eq Level Source
Ord Level Source
Show Level Source

_Low :: Prism' Level () Source

_High :: Prism' Level () Source

invert :: Level -> Level Source

Logical transitions

data Edge Source

Constructors

Falling
Rising

Instances

Eq Edge Source
Ord Edge Source
Show Edge Source

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
Eq Time Source
Ord Time Source
Show Time Source
Wrapped Time Source
(~) * Time t0 => Rewrapped Time t Source
type Unwrapped Time = Int Source