ble 0.1.1.0 → 0.1.2.0

raw patch · 4 files changed

+10/−2 lines, 4 files

Files

ble.cabal +1/−1
package.yaml +1/−1
src/Bluetooth.hs +1/−0
src/Bluetooth/Internal/Errors.hs +7/−0

ble.cabal view

@@ -3,7 +3,7 @@ -- see: https://github.com/sol/hpack  name:           ble-version:        0.1.1.0+version:        0.1.2.0 synopsis:       Bluetooth Low Energy (BLE) peripherals description:    This package provides a Haskell API for writing Bluetooth Low Energy peripherals. stability:      alpha

package.yaml view

@@ -1,5 +1,5 @@ name:                ble-version:             0.1.1.0+version:             0.1.2.0 synopsis:            Bluetooth Low Energy (BLE) peripherals description:         >     This package provides a Haskell API for writing Bluetooth Low Energy

src/Bluetooth.hs view

@@ -106,6 +106,7 @@   , ThrowsNotAuthorized(..)   , ThrowsNotSupported(..)   , ThrowsInvalidValueLength(..)+  , IsElem    -- * Re-exports   , module Lens.Micro

src/Bluetooth/Internal/Errors.hs view

@@ -34,6 +34,13 @@   -- NOT MonadError!   deriving (Functor, Applicative, Monad, MonadIO) +-- | Asserts that an error type is an element of a list.+--+-- > example :: ThrowsFailed `IsElem` errs => Handler errs ()+-- > example+-- >  = errFailed "Every attempt is a wholly new start, and a different kind of failure"+--+-- @since 0.1.2.0 type family IsElem (x :: k) (list :: [k]) :: Constraint where   IsElem x (x ': xs) = ()   IsElem x (y ': xs) = IsElem x xs