System.GPIO.Types

Basic GPIO types.

GPIO pins

newtype Pin

A GPIO pin, identified by pin number.

Note that GPIO pin numbering is platform- and runtime-dependent. See the documentation for your particular platform for an explanation of how pin numbers are assigned to physical pins.

Constructors

Pin Int

Instances

Bounded Pin

Defined in System.GPIO.Types

Methods

minBound :: Pin

maxBound :: Pin

Enum Pin

Defined in System.GPIO.Types

Methods

succ :: Pin -> Pin

pred :: Pin -> Pin

toEnum :: Int -> Pin

fromEnum :: Pin -> Int

enumFrom :: Pin -> [Pin]

enumFromThen :: Pin -> Pin -> [Pin]

enumFromTo :: Pin -> Pin -> [Pin]

enumFromThenTo :: Pin -> Pin -> Pin -> [Pin]

Eq Pin

Defined in System.GPIO.Types

Methods

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

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

Data Pin

Defined in System.GPIO.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pin -> c Pin

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pin

toConstr :: Pin -> Constr

dataTypeOf :: Pin -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pin)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pin)

gmapT :: (forall b. Data b => b -> b) -> Pin -> Pin

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pin -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pin -> r

gmapQ :: (forall d. Data d => d -> u) -> Pin -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pin -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pin -> m Pin

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pin -> m Pin

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pin -> m Pin

Ord Pin

Defined in System.GPIO.Types

Methods

compare :: Pin -> Pin -> Ordering

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

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

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

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

max :: Pin -> Pin -> Pin

min :: Pin -> Pin -> Pin

Read Pin

Defined in System.GPIO.Types

Methods

readsPrec :: Int -> ReadS Pin

readList :: ReadS [Pin]

readPrec :: ReadPrec Pin

readListPrec :: ReadPrec [Pin]

Show Pin

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> Pin -> ShowS

show :: Pin -> String

showList :: [Pin] -> ShowS

Ix Pin

Defined in System.GPIO.Types

Methods

range :: (Pin, Pin) -> [Pin]

index :: (Pin, Pin) -> Pin -> Int

unsafeIndex :: (Pin, Pin) -> Pin -> Int

inRange :: (Pin, Pin) -> Pin -> Bool

rangeSize :: (Pin, Pin) -> Int

unsafeRangeSize :: (Pin, Pin) -> Int

Generic Pin

Defined in System.GPIO.Types

Associated Types

type Rep Pin :: * -> *

Methods

from :: Pin -> Rep Pin x

to :: Rep Pin x -> Pin

Arbitrary Pin

Defined in System.GPIO.Types

Methods

arbitrary :: Gen Pin

shrink :: Pin -> [Pin]

type Rep Pin

Defined in System.GPIO.Types

type Rep Pin = D1 (MetaData "Pin" "System.GPIO.Types" "hpio-0.9.0.7-6wTVDAAhQWjGywt4QfvtzA" True) (C1 (MetaCons "Pin" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))

data PinInputMode

GPIO pins may support a number of different physical configurations when used as a digital input.

Pins that are capable of input will at least support the InputDefault mode. InputDefault mode is special in that, unlike the other input modes, it does not represent a unique physical configuration, but is simply a pseudonym for another (actual) input mode. Exactly which mode is used by the hardware when InputDefault mode is specified is platform-dependent. By using InputDefaut mode, you are saying that you don't care about the pin's actual configuration, other than the fact that it's being used for input.

Constructors

InputDefault

The pin's default input mode, i.e., the mode used when a more specific mode is not specified

InputFloating

A floating / high-impedance / tri-state mode which uses little power, but when disconnected, may cause the pin's value to be indeterminate

InputPullUp

The pin is connected to an internal pull-up resistor such that, when the pin is disconnected or connected to a floating / high-impedance node, its physical value will be High

InputPullDown

The pin is connected to an internal pull-down resistor such that, when the pin is disconnected or connected to a floating / high-impedance node, its physical value will be Low

Instances

Bounded PinInputMode

Defined in System.GPIO.Types

Methods

minBound :: PinInputMode

maxBound :: PinInputMode

Enum PinInputMode

Defined in System.GPIO.Types

Methods

succ :: PinInputMode -> PinInputMode

pred :: PinInputMode -> PinInputMode

toEnum :: Int -> PinInputMode

fromEnum :: PinInputMode -> Int

enumFrom :: PinInputMode -> [PinInputMode]

enumFromThen :: PinInputMode -> PinInputMode -> [PinInputMode]

enumFromTo :: PinInputMode -> PinInputMode -> [PinInputMode]

enumFromThenTo :: PinInputMode -> PinInputMode -> PinInputMode -> [PinInputMode]

Eq PinInputMode

Defined in System.GPIO.Types

Methods

(==) :: PinInputMode -> PinInputMode -> Bool

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

Data PinInputMode

Defined in System.GPIO.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PinInputMode -> c PinInputMode

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PinInputMode

toConstr :: PinInputMode -> Constr

dataTypeOf :: PinInputMode -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PinInputMode)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PinInputMode)

gmapT :: (forall b. Data b => b -> b) -> PinInputMode -> PinInputMode

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PinInputMode -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PinInputMode -> r

gmapQ :: (forall d. Data d => d -> u) -> PinInputMode -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PinInputMode -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PinInputMode -> m PinInputMode

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PinInputMode -> m PinInputMode

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PinInputMode -> m PinInputMode

Ord PinInputMode

Defined in System.GPIO.Types

Methods

compare :: PinInputMode -> PinInputMode -> Ordering

(<) :: PinInputMode -> PinInputMode -> Bool

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

(>) :: PinInputMode -> PinInputMode -> Bool

(>=) :: PinInputMode -> PinInputMode -> Bool

max :: PinInputMode -> PinInputMode -> PinInputMode

min :: PinInputMode -> PinInputMode -> PinInputMode

Read PinInputMode

Defined in System.GPIO.Types

Methods

readsPrec :: Int -> ReadS PinInputMode

readList :: ReadS [PinInputMode]

readPrec :: ReadPrec PinInputMode

readListPrec :: ReadPrec [PinInputMode]

Show PinInputMode

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> PinInputMode -> ShowS

show :: PinInputMode -> String

showList :: [PinInputMode] -> ShowS

Generic PinInputMode

Defined in System.GPIO.Types

Associated Types

type Rep PinInputMode :: * -> *

Methods

from :: PinInputMode -> Rep PinInputMode x

to :: Rep PinInputMode x -> PinInputMode

type Rep PinInputMode

Defined in System.GPIO.Types

type Rep PinInputMode = D1 (MetaData "PinInputMode" "System.GPIO.Types" "hpio-0.9.0.7-6wTVDAAhQWjGywt4QfvtzA" False) ((C1 (MetaCons "InputDefault" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "InputFloating" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "InputPullUp" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "InputPullDown" PrefixI False) (U1 :: * -> *)))

data PinOutputMode

GPIO pins may support a number of different physical configurations when used as a digital output.

Pins that are capable of output will at least support the OutputDefault mode. OutputDefault mode is special in that, unlike the other output modes, it does not represent a unique physical configuration, but is simply a pseudonym for another (actual) output mode. Exactly which mode is used by the hardware when OutputDefault mode is specified is platform-dependent. By using OutputDefaut mode, you are saying that you don't care about the pin's actual configuration, other than the fact that it's being used for output.

Constructors

OutputDefault

The pin's default output mode, i.e., the mode used when a more specific mode is not specified

OutputPushPull

The output actively drives both the High and Low states

OutputOpenDrain

The output actively drives the Low state, but High is left floating (also known as open collector)

OutputOpenDrainPullUp

The output actively drives the Low state, and is connected to an internal pull-up resistor in the High state.

OutputOpenSource

The output actively drives the High state, but Low is left floating (also known as open emitter)

OutputOpenSourcePullDown

The output actively drives the High state, and is connected to an internal pull-down resistor in the Low state.

Instances

Bounded PinOutputMode

Defined in System.GPIO.Types

Methods

minBound :: PinOutputMode

maxBound :: PinOutputMode

Enum PinOutputMode

Defined in System.GPIO.Types

Methods

succ :: PinOutputMode -> PinOutputMode

pred :: PinOutputMode -> PinOutputMode

toEnum :: Int -> PinOutputMode

fromEnum :: PinOutputMode -> Int

enumFrom :: PinOutputMode -> [PinOutputMode]

enumFromThen :: PinOutputMode -> PinOutputMode -> [PinOutputMode]

enumFromTo :: PinOutputMode -> PinOutputMode -> [PinOutputMode]

enumFromThenTo :: PinOutputMode -> PinOutputMode -> PinOutputMode -> [PinOutputMode]

Eq PinOutputMode

Defined in System.GPIO.Types

Methods

(==) :: PinOutputMode -> PinOutputMode -> Bool

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

Data PinOutputMode

Defined in System.GPIO.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PinOutputMode -> c PinOutputMode

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PinOutputMode

toConstr :: PinOutputMode -> Constr

dataTypeOf :: PinOutputMode -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PinOutputMode)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PinOutputMode)

gmapT :: (forall b. Data b => b -> b) -> PinOutputMode -> PinOutputMode

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PinOutputMode -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PinOutputMode -> r

gmapQ :: (forall d. Data d => d -> u) -> PinOutputMode -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PinOutputMode -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PinOutputMode -> m PinOutputMode

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PinOutputMode -> m PinOutputMode

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PinOutputMode -> m PinOutputMode

Ord PinOutputMode

Defined in System.GPIO.Types

Methods

compare :: PinOutputMode -> PinOutputMode -> Ordering

(<) :: PinOutputMode -> PinOutputMode -> Bool

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

(>) :: PinOutputMode -> PinOutputMode -> Bool

(>=) :: PinOutputMode -> PinOutputMode -> Bool

max :: PinOutputMode -> PinOutputMode -> PinOutputMode

min :: PinOutputMode -> PinOutputMode -> PinOutputMode

Read PinOutputMode

Defined in System.GPIO.Types

Methods

readsPrec :: Int -> ReadS PinOutputMode

readList :: ReadS [PinOutputMode]

readPrec :: ReadPrec PinOutputMode

readListPrec :: ReadPrec [PinOutputMode]

Show PinOutputMode

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> PinOutputMode -> ShowS

show :: PinOutputMode -> String

showList :: [PinOutputMode] -> ShowS

Generic PinOutputMode

Defined in System.GPIO.Types

Associated Types

type Rep PinOutputMode :: * -> *

Methods

from :: PinOutputMode -> Rep PinOutputMode x

to :: Rep PinOutputMode x -> PinOutputMode

type Rep PinOutputMode

Defined in System.GPIO.Types

type Rep PinOutputMode = D1 (MetaData "PinOutputMode" "System.GPIO.Types" "hpio-0.9.0.7-6wTVDAAhQWjGywt4QfvtzA" False) ((C1 (MetaCons "OutputDefault" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "OutputPushPull" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "OutputOpenDrain" PrefixI False) (U1 :: * -> *))) :+: (C1 (MetaCons "OutputOpenDrainPullUp" PrefixI False) (U1 :: * -> *) :+: (C1 (MetaCons "OutputOpenSource" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "OutputOpenSourcePullDown" PrefixI False) (U1 :: * -> *))))

data PinCapabilities

Catalog a pin's capabilities.

Constructors

PinCapabilities

Fields

• _inputModes :: Set PinInputMode

  The set of input modes that the pin supports

• _outputModes :: Set PinOutputMode

  The set of output modes that the pin supports

• _interrupts :: Bool

  Does the pin support interrupts in input mode?

Instances

Eq PinCapabilities

Defined in System.GPIO.Types

Methods

(==) :: PinCapabilities -> PinCapabilities -> Bool

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

Show PinCapabilities

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> PinCapabilities -> ShowS

show :: PinCapabilities -> String

showList :: [PinCapabilities] -> ShowS

Generic PinCapabilities

Defined in System.GPIO.Types

Associated Types

type Rep PinCapabilities :: * -> *

Methods

from :: PinCapabilities -> Rep PinCapabilities x

to :: Rep PinCapabilities x -> PinCapabilities

type Rep PinCapabilities

Defined in System.GPIO.Types

type Rep PinCapabilities = D1 (MetaData "PinCapabilities" "System.GPIO.Types" "hpio-0.9.0.7-6wTVDAAhQWjGywt4QfvtzA" False) (C1 (MetaCons "PinCapabilities" PrefixI True) (S1 (MetaSel (Just "_inputModes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set PinInputMode)) :*: (S1 (MetaSel (Just "_outputModes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set PinOutputMode)) :*: S1 (MetaSel (Just "_interrupts") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))

data PinDirection

A pin's direction (input/output).

Constructors

In

Out

Instances

Bounded PinDirection

Defined in System.GPIO.Types

Methods

minBound :: PinDirection

maxBound :: PinDirection

Enum PinDirection

Defined in System.GPIO.Types

Methods

succ :: PinDirection -> PinDirection

pred :: PinDirection -> PinDirection

toEnum :: Int -> PinDirection

fromEnum :: PinDirection -> Int

enumFrom :: PinDirection -> [PinDirection]

enumFromThen :: PinDirection -> PinDirection -> [PinDirection]

enumFromTo :: PinDirection -> PinDirection -> [PinDirection]

enumFromThenTo :: PinDirection -> PinDirection -> PinDirection -> [PinDirection]

Eq PinDirection

Defined in System.GPIO.Types

Methods

(==) :: PinDirection -> PinDirection -> Bool

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

Data PinDirection

Defined in System.GPIO.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PinDirection -> c PinDirection

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PinDirection

toConstr :: PinDirection -> Constr

dataTypeOf :: PinDirection -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PinDirection)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PinDirection)

gmapT :: (forall b. Data b => b -> b) -> PinDirection -> PinDirection

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PinDirection -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PinDirection -> r

gmapQ :: (forall d. Data d => d -> u) -> PinDirection -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PinDirection -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PinDirection -> m PinDirection

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PinDirection -> m PinDirection

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PinDirection -> m PinDirection

Ord PinDirection

Defined in System.GPIO.Types

Methods

compare :: PinDirection -> PinDirection -> Ordering

(<) :: PinDirection -> PinDirection -> Bool

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

(>) :: PinDirection -> PinDirection -> Bool

(>=) :: PinDirection -> PinDirection -> Bool

max :: PinDirection -> PinDirection -> PinDirection

min :: PinDirection -> PinDirection -> PinDirection

Read PinDirection

Defined in System.GPIO.Types

Methods

readsPrec :: Int -> ReadS PinDirection

readList :: ReadS [PinDirection]

readPrec :: ReadPrec PinDirection

readListPrec :: ReadPrec [PinDirection]

Show PinDirection

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> PinDirection -> ShowS

show :: PinDirection -> String

showList :: [PinDirection] -> ShowS

Ix PinDirection

Defined in System.GPIO.Types

Methods

range :: (PinDirection, PinDirection) -> [PinDirection]

index :: (PinDirection, PinDirection) -> PinDirection -> Int

unsafeIndex :: (PinDirection, PinDirection) -> PinDirection -> Int

inRange :: (PinDirection, PinDirection) -> PinDirection -> Bool

rangeSize :: (PinDirection, PinDirection) -> Int

unsafeRangeSize :: (PinDirection, PinDirection) -> Int

Generic PinDirection

Defined in System.GPIO.Types

Associated Types

type Rep PinDirection :: * -> *

Methods

from :: PinDirection -> Rep PinDirection x

to :: Rep PinDirection x -> PinDirection

Arbitrary PinDirection

Defined in System.GPIO.Types

Methods

arbitrary :: Gen PinDirection

shrink :: PinDirection -> [PinDirection]

type Rep PinDirection

Defined in System.GPIO.Types

type Rep PinDirection = D1 (MetaData "PinDirection" "System.GPIO.Types" "hpio-0.9.0.7-6wTVDAAhQWjGywt4QfvtzA" False) (C1 (MetaCons "In" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Out" PrefixI False) (U1 :: * -> *))

data PinActiveLevel

A pin's active level (active-high/active-low).

Constructors

ActiveLow

ActiveHigh

Instances

Bounded PinActiveLevel

Defined in System.GPIO.Types

Methods

minBound :: PinActiveLevel

maxBound :: PinActiveLevel

Enum PinActiveLevel

Defined in System.GPIO.Types

Methods

succ :: PinActiveLevel -> PinActiveLevel

pred :: PinActiveLevel -> PinActiveLevel

toEnum :: Int -> PinActiveLevel

fromEnum :: PinActiveLevel -> Int

enumFrom :: PinActiveLevel -> [PinActiveLevel]

enumFromThen :: PinActiveLevel -> PinActiveLevel -> [PinActiveLevel]

enumFromTo :: PinActiveLevel -> PinActiveLevel -> [PinActiveLevel]

enumFromThenTo :: PinActiveLevel -> PinActiveLevel -> PinActiveLevel -> [PinActiveLevel]

Eq PinActiveLevel

Defined in System.GPIO.Types

Methods

(==) :: PinActiveLevel -> PinActiveLevel -> Bool

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

Data PinActiveLevel

Defined in System.GPIO.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PinActiveLevel -> c PinActiveLevel

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PinActiveLevel

toConstr :: PinActiveLevel -> Constr

dataTypeOf :: PinActiveLevel -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PinActiveLevel)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PinActiveLevel)

gmapT :: (forall b. Data b => b -> b) -> PinActiveLevel -> PinActiveLevel

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PinActiveLevel -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PinActiveLevel -> r

gmapQ :: (forall d. Data d => d -> u) -> PinActiveLevel -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PinActiveLevel -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PinActiveLevel -> m PinActiveLevel

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PinActiveLevel -> m PinActiveLevel

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PinActiveLevel -> m PinActiveLevel

Ord PinActiveLevel

Defined in System.GPIO.Types

Methods

compare :: PinActiveLevel -> PinActiveLevel -> Ordering

(<) :: PinActiveLevel -> PinActiveLevel -> Bool

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

(>) :: PinActiveLevel -> PinActiveLevel -> Bool

(>=) :: PinActiveLevel -> PinActiveLevel -> Bool

max :: PinActiveLevel -> PinActiveLevel -> PinActiveLevel

min :: PinActiveLevel -> PinActiveLevel -> PinActiveLevel

Read PinActiveLevel

Defined in System.GPIO.Types

Methods

readsPrec :: Int -> ReadS PinActiveLevel

readList :: ReadS [PinActiveLevel]

readPrec :: ReadPrec PinActiveLevel

readListPrec :: ReadPrec [PinActiveLevel]

Show PinActiveLevel

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> PinActiveLevel -> ShowS

show :: PinActiveLevel -> String

showList :: [PinActiveLevel] -> ShowS

Ix PinActiveLevel

Defined in System.GPIO.Types

Methods

range :: (PinActiveLevel, PinActiveLevel) -> [PinActiveLevel]

index :: (PinActiveLevel, PinActiveLevel) -> PinActiveLevel -> Int

unsafeIndex :: (PinActiveLevel, PinActiveLevel) -> PinActiveLevel -> Int

inRange :: (PinActiveLevel, PinActiveLevel) -> PinActiveLevel -> Bool

rangeSize :: (PinActiveLevel, PinActiveLevel) -> Int

unsafeRangeSize :: (PinActiveLevel, PinActiveLevel) -> Int

Generic PinActiveLevel

Defined in System.GPIO.Types

Associated Types

type Rep PinActiveLevel :: * -> *

Methods

from :: PinActiveLevel -> Rep PinActiveLevel x

to :: Rep PinActiveLevel x -> PinActiveLevel

Arbitrary PinActiveLevel

Defined in System.GPIO.Types

Methods

arbitrary :: Gen PinActiveLevel

shrink :: PinActiveLevel -> [PinActiveLevel]

type Rep PinActiveLevel

Defined in System.GPIO.Types

type Rep PinActiveLevel = D1 (MetaData "PinActiveLevel" "System.GPIO.Types" "hpio-0.9.0.7-6wTVDAAhQWjGywt4QfvtzA" False) (C1 (MetaCons "ActiveLow" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "ActiveHigh" PrefixI False) (U1 :: * -> *))

data PinValue

A pin's signal level as a binary value.

Constructors

Low

High

Instances

Bounded PinValue

Defined in System.GPIO.Types

Methods

minBound :: PinValue

maxBound :: PinValue

Enum PinValue

Defined in System.GPIO.Types

Methods

succ :: PinValue -> PinValue

pred :: PinValue -> PinValue

toEnum :: Int -> PinValue

fromEnum :: PinValue -> Int

enumFrom :: PinValue -> [PinValue]

enumFromThen :: PinValue -> PinValue -> [PinValue]

enumFromTo :: PinValue -> PinValue -> [PinValue]

enumFromThenTo :: PinValue -> PinValue -> PinValue -> [PinValue]

Eq PinValue

Defined in System.GPIO.Types

Methods

(==) :: PinValue -> PinValue -> Bool

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

Data PinValue

Defined in System.GPIO.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PinValue -> c PinValue

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PinValue

toConstr :: PinValue -> Constr

dataTypeOf :: PinValue -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PinValue)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PinValue)

gmapT :: (forall b. Data b => b -> b) -> PinValue -> PinValue

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PinValue -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PinValue -> r

gmapQ :: (forall d. Data d => d -> u) -> PinValue -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PinValue -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PinValue -> m PinValue

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PinValue -> m PinValue

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PinValue -> m PinValue

Ord PinValue

Defined in System.GPIO.Types

Methods

compare :: PinValue -> PinValue -> Ordering

(<) :: PinValue -> PinValue -> Bool

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

(>) :: PinValue -> PinValue -> Bool

(>=) :: PinValue -> PinValue -> Bool

max :: PinValue -> PinValue -> PinValue

min :: PinValue -> PinValue -> PinValue

Read PinValue

Defined in System.GPIO.Types

Methods

readsPrec :: Int -> ReadS PinValue

readList :: ReadS [PinValue]

readPrec :: ReadPrec PinValue

readListPrec :: ReadPrec [PinValue]

Show PinValue

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> PinValue -> ShowS

show :: PinValue -> String

showList :: [PinValue] -> ShowS

Ix PinValue

Defined in System.GPIO.Types

Methods

range :: (PinValue, PinValue) -> [PinValue]

index :: (PinValue, PinValue) -> PinValue -> Int

unsafeIndex :: (PinValue, PinValue) -> PinValue -> Int

inRange :: (PinValue, PinValue) -> PinValue -> Bool

rangeSize :: (PinValue, PinValue) -> Int

unsafeRangeSize :: (PinValue, PinValue) -> Int

Generic PinValue

Defined in System.GPIO.Types

Associated Types

type Rep PinValue :: * -> *

Methods

from :: PinValue -> Rep PinValue x

to :: Rep PinValue x -> PinValue

Arbitrary PinValue

Defined in System.GPIO.Types

Methods

arbitrary :: Gen PinValue

shrink :: PinValue -> [PinValue]

Bits PinValue

Defined in System.GPIO.Types

Methods

(.&.) :: PinValue -> PinValue -> PinValue

(.|.) :: PinValue -> PinValue -> PinValue

xor :: PinValue -> PinValue -> PinValue

complement :: PinValue -> PinValue

shift :: PinValue -> Int -> PinValue

rotate :: PinValue -> Int -> PinValue

zeroBits :: PinValue

bit :: Int -> PinValue

setBit :: PinValue -> Int -> PinValue

clearBit :: PinValue -> Int -> PinValue

complementBit :: PinValue -> Int -> PinValue

testBit :: PinValue -> Int -> Bool

bitSizeMaybe :: PinValue -> Maybe Int

bitSize :: PinValue -> Int

isSigned :: PinValue -> Bool

shiftL :: PinValue -> Int -> PinValue

unsafeShiftL :: PinValue -> Int -> PinValue

shiftR :: PinValue -> Int -> PinValue

unsafeShiftR :: PinValue -> Int -> PinValue

rotateL :: PinValue -> Int -> PinValue

rotateR :: PinValue -> Int -> PinValue

popCount :: PinValue -> Int

FiniteBits PinValue

Defined in System.GPIO.Types

Methods

finiteBitSize :: PinValue -> Int

countLeadingZeros :: PinValue -> Int

countTrailingZeros :: PinValue -> Int

type Rep PinValue

Defined in System.GPIO.Types

type Rep PinValue = D1 (MetaData "PinValue" "System.GPIO.Types" "hpio-0.9.0.7-6wTVDAAhQWjGywt4QfvtzA" False) (C1 (MetaCons "Low" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "High" PrefixI False) (U1 :: * -> *))

data PinInterruptMode

A pin's interrupt mode.

Note that the pin's interrupt mode is defined in terms of the pin's logical signal value; i.e., when the pin is configured for active-low logic, RisingEdge refers to the physical signal's trailing edge, and FallingEdge refers to the physical signal's rising edge.

Constructors

Disabled

Interrupts are disabled

RisingEdge

Interrupt on the pin's (logical) rising edge

FallingEdge

Interrupt on the pin's (logical) falling edge

Level

Interrupt on any change to the pin's signal level

Instances

Bounded PinInterruptMode

Defined in System.GPIO.Types

Methods

minBound :: PinInterruptMode

maxBound :: PinInterruptMode

Enum PinInterruptMode

Defined in System.GPIO.Types

Methods

succ :: PinInterruptMode -> PinInterruptMode

pred :: PinInterruptMode -> PinInterruptMode

toEnum :: Int -> PinInterruptMode

fromEnum :: PinInterruptMode -> Int

enumFrom :: PinInterruptMode -> [PinInterruptMode]

enumFromThen :: PinInterruptMode -> PinInterruptMode -> [PinInterruptMode]

enumFromTo :: PinInterruptMode -> PinInterruptMode -> [PinInterruptMode]

enumFromThenTo :: PinInterruptMode -> PinInterruptMode -> PinInterruptMode -> [PinInterruptMode]

Eq PinInterruptMode

Defined in System.GPIO.Types

Methods

(==) :: PinInterruptMode -> PinInterruptMode -> Bool

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

Data PinInterruptMode

Defined in System.GPIO.Types

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PinInterruptMode -> c PinInterruptMode

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PinInterruptMode

toConstr :: PinInterruptMode -> Constr

dataTypeOf :: PinInterruptMode -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PinInterruptMode)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PinInterruptMode)

gmapT :: (forall b. Data b => b -> b) -> PinInterruptMode -> PinInterruptMode

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PinInterruptMode -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PinInterruptMode -> r

gmapQ :: (forall d. Data d => d -> u) -> PinInterruptMode -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PinInterruptMode -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PinInterruptMode -> m PinInterruptMode

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PinInterruptMode -> m PinInterruptMode

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PinInterruptMode -> m PinInterruptMode

Ord PinInterruptMode

Defined in System.GPIO.Types

Methods

compare :: PinInterruptMode -> PinInterruptMode -> Ordering

(<) :: PinInterruptMode -> PinInterruptMode -> Bool

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

(>) :: PinInterruptMode -> PinInterruptMode -> Bool

(>=) :: PinInterruptMode -> PinInterruptMode -> Bool

max :: PinInterruptMode -> PinInterruptMode -> PinInterruptMode

min :: PinInterruptMode -> PinInterruptMode -> PinInterruptMode

Read PinInterruptMode

Defined in System.GPIO.Types

Methods

readsPrec :: Int -> ReadS PinInterruptMode

readList :: ReadS [PinInterruptMode]

readPrec :: ReadPrec PinInterruptMode

readListPrec :: ReadPrec [PinInterruptMode]

Show PinInterruptMode

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> PinInterruptMode -> ShowS

show :: PinInterruptMode -> String

showList :: [PinInterruptMode] -> ShowS

Generic PinInterruptMode

Defined in System.GPIO.Types

Associated Types

type Rep PinInterruptMode :: * -> *

Methods

from :: PinInterruptMode -> Rep PinInterruptMode x

to :: Rep PinInterruptMode x -> PinInterruptMode

Arbitrary PinInterruptMode

Defined in System.GPIO.Types

Methods

arbitrary :: Gen PinInterruptMode

shrink :: PinInterruptMode -> [PinInterruptMode]

type Rep PinInterruptMode

Defined in System.GPIO.Types

type Rep PinInterruptMode = D1 (MetaData "PinInterruptMode" "System.GPIO.Types" "hpio-0.9.0.7-6wTVDAAhQWjGywt4QfvtzA" False) ((C1 (MetaCons "Disabled" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "RisingEdge" PrefixI False) (U1 :: * -> *)) :+: (C1 (MetaCons "FallingEdge" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "Level" PrefixI False) (U1 :: * -> *)))

Convenience functions

pinNumber :: Pin -> Int

Get the pin number as an Int.

>>> pinNumber (Pin 5)
5

invertDirection :: PinDirection -> PinDirection

Invert a PinDirection value.

>>> invertDirection In
Out
>>> invertDirection Out
In

invertValue :: PinValue -> PinValue

Invert a PinValue.

>>> invertValue High
Low
>>> invertValue Low
High

PinValue conversion to/from Bool

valueToBool :: PinValue -> Bool

Convert a PinValue to its logical boolean equivalent.

>>> valueToBool High
True
>>> valueToBool Low
False

boolToValue :: Bool -> PinValue

Convert a Bool to its logical PinValue equivalent.

>>> boolToValue True
High
>>> boolToValue False
Low

GPIO exceptions

data SomeGpioException

The top level of the GPIO exception hierarchy.

Constructors

Exception e => SomeGpioException e

Instances

Show SomeGpioException

Defined in System.GPIO.Types

Methods

showsPrec :: Int -> SomeGpioException -> ShowS

show :: SomeGpioException -> String

showList :: [SomeGpioException] -> ShowS

Exception SomeGpioException

Defined in System.GPIO.Types

Methods

toException :: SomeGpioException -> SomeException

fromException :: SomeException -> Maybe SomeGpioException

displayException :: SomeGpioException -> String

gpioExceptionToException :: Exception e => e -> SomeException

Convert SomeGpioException to SomeException.

gpioExceptionFromException :: Exception e => SomeException -> Maybe e

Ask whether an exception is SomeGpioException.