Copilot.Arduino.Internals

You should not need to import this module unless you're adding support for a new model of Arduino, or an Arduino library.

Documentation

class ShowCType t where

Methods

showCType :: Proxy t -> String

Instances

ShowCType Bool

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Bool -> String

ShowCType Double

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Double -> String

ShowCType Float

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Float -> String

ShowCType Int8

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Int8 -> String

ShowCType Int16

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Int16 -> String

ShowCType Int32

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Int32 -> String

ShowCType Int64

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Int64 -> String

ShowCType Word8

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Word8 -> String

ShowCType Word16

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Word16 -> String

ShowCType Word32

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Word32 -> String

ShowCType Word64

Defined in Copilot.Arduino.Internals

Methods

showCType :: Proxy Word64 -> String

type ADC = Int16

Value read from an Arduino's ADC. Ranges from 0-1023.

newtype PinId

Constructors

PinId Int16

Instances

Eq PinId

Defined in Copilot.Arduino.Internals

Methods

(==) :: PinId -> PinId -> Bool

(/=) :: PinId -> PinId -> Bool

Ord PinId

Defined in Copilot.Arduino.Internals

Methods

compare :: PinId -> PinId -> Ordering

(<) :: PinId -> PinId -> Bool

(<=) :: PinId -> PinId -> Bool

(>) :: PinId -> PinId -> Bool

(>=) :: PinId -> PinId -> Bool

max :: PinId -> PinId -> PinId

min :: PinId -> PinId -> PinId

Show PinId

Defined in Copilot.Arduino.Internals

Methods

showsPrec :: Int -> PinId -> ShowS

show :: PinId -> String

showList :: [PinId] -> ShowS

Output PinId Delay MilliSeconds

Defined in Copilot.Arduino.Internals

Methods

(=:) :: Delay -> MilliSeconds -> GenSketch PinId ()

Output PinId Delay MicroSeconds

Defined in Copilot.Arduino.Internals

Methods

(=:) :: Delay -> MicroSeconds -> GenSketch PinId ()

Input PinId ClockMicros Word32

Defined in Copilot.Arduino

Methods

input' :: ClockMicros -> [Word32] -> GenSketch PinId (Behavior Word32)

Input PinId ClockMillis Word32

Defined in Copilot.Arduino

Methods

input' :: ClockMillis -> [Word32] -> GenSketch PinId (Behavior Word32)

Input PinId SerialDevice Int8

Defined in Copilot.Arduino.Library.Serial.Device

Methods

input' :: SerialDevice -> [Int8] -> GenSketch PinId (Behavior Int8)

Input PinId RandomInput Word32

Defined in Copilot.Arduino.Library.Random

Methods

input' :: RandomInput -> [Word32] -> GenSketch PinId (Behavior Word32)

Output PinId SerialDevice [FormatOutput]

Defined in Copilot.Arduino.Library.Serial.Device

Methods

(=:) :: SerialDevice -> [FormatOutput] -> GenSketch PinId ()

Output PinId SerialDevice (Event () [FormatOutput])

Defined in Copilot.Arduino.Library.Serial.Device

Methods

(=:) :: SerialDevice -> Event () [FormatOutput] -> GenSketch PinId ()

Output PinId RandomSeed (Event () (Stream Word8))

Defined in Copilot.Arduino.Library.Random

Methods

(=:) :: RandomSeed -> Event () (Stream Word8) -> GenSketch PinId ()

Output PinId RandomSeed (Event () (Stream ADC))

Defined in Copilot.Arduino.Library.Random

Methods

(=:) :: RandomSeed -> Event () (Stream ADC) -> GenSketch PinId ()

(ShowCType t, EEPROMable t) => Input PinId (RangeReads t) t

Defined in Copilot.Arduino.Library.EEPROMex

Methods

input' :: RangeReads t -> [t] -> GenSketch PinId (Behavior t)

EEPROMable t => Output PinId (Range t) (RangeWrites t)

Defined in Copilot.Arduino.Library.EEPROMex

Methods

(=:) :: Range t -> RangeWrites t -> GenSketch PinId ()

EEPROMable t => Output PinId (Range t) (Event () (RangeWrites t))

Defined in Copilot.Arduino.Library.EEPROMex

Methods

(=:) :: Range t -> Event () (RangeWrites t) -> GenSketch PinId ()

EEPROMable t => Output PinId (Location t) (Event () (Stream t))

Defined in Copilot.Arduino.Library.EEPROMex

Methods

(=:) :: Location t -> Event () (Stream t) -> GenSketch PinId ()

IsAnalogInputPin t => Input PinId (Pin t) ADC

Defined in Copilot.Arduino.Internals

Methods

input' :: Pin t -> [ADC] -> GenSketch PinId (Behavior ADC)

IsDigitalIOPin t => Input PinId (Pin t) Bool

Defined in Copilot.Arduino.Internals

Methods

input' :: Pin t -> [Bool] -> GenSketch PinId (Behavior Bool)

IsPWMPin t => Output PinId (Pin t) (Event 'PWM (Stream Word8))

Defined in Copilot.Arduino.Internals

Methods

(=:) :: Pin t -> Event 'PWM (Stream Word8) -> GenSketch PinId ()

IsDigitalIOPin t => Output PinId (Pin t) (Event () (Stream Bool))

Defined in Copilot.Arduino.Internals

Methods

(=:) :: Pin t -> Event () (Stream Bool) -> GenSketch PinId ()

newtype Pin t

A pin on the Arduino board.

For definitions of pins like pin12, load a module such as Copilot.Arduino.Uno, which provides the pins of a particular board.

A type-level list indicates how a Pin can be used, so the haskell compiler will detect impossible uses of pins.

Constructors

Pin PinId

Instances

IsAnalogInputPin t => Input PinId (Pin t) ADC

Defined in Copilot.Arduino.Internals

Methods

input' :: Pin t -> [ADC] -> GenSketch PinId (Behavior ADC)

IsDigitalIOPin t => Input PinId (Pin t) Bool

Defined in Copilot.Arduino.Internals

Methods

input' :: Pin t -> [Bool] -> GenSketch PinId (Behavior Bool)

IsPWMPin t => Output PinId (Pin t) (Event 'PWM (Stream Word8))

Defined in Copilot.Arduino.Internals

Methods

(=:) :: Pin t -> Event 'PWM (Stream Word8) -> GenSketch PinId ()

IsDigitalIOPin t => Output PinId (Pin t) (Event () (Stream Bool))

Defined in Copilot.Arduino.Internals

Methods

(=:) :: Pin t -> Event () (Stream Bool) -> GenSketch PinId ()

Eq (Pin t)

Defined in Copilot.Arduino.Internals

Methods

(==) :: Pin t -> Pin t -> Bool

(/=) :: Pin t -> Pin t -> Bool

Ord (Pin t)

Defined in Copilot.Arduino.Internals

Methods

compare :: Pin t -> Pin t -> Ordering

(<) :: Pin t -> Pin t -> Bool

(<=) :: Pin t -> Pin t -> Bool

(>) :: Pin t -> Pin t -> Bool

(>=) :: Pin t -> Pin t -> Bool

max :: Pin t -> Pin t -> Pin t

min :: Pin t -> Pin t -> Pin t

Show (Pin t)

Defined in Copilot.Arduino.Internals

Methods

showsPrec :: Int -> Pin t -> ShowS

show :: Pin t -> String

showList :: [Pin t] -> ShowS

type Framework = GenFramework PinId

The framework of a sketch.

type Sketch = GenSketch PinId

An Arduino sketch, implemented using Copilot.

It's best to think of the Sketch as a description of the state of the board at any point in time.

Under the hood, the Sketch is run in a loop. On each iteration, it first reads inputs and then updates outputs as needed.

While it is a monad, a Sketch's outputs are not updated in any particular order, because Copilot does not guarantee any order.

module Sketch.FRP.Copilot.Internals

module Sketch.FRP.Copilot.Types

module Sketch.FRP.Copilot