Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data DeviceIdCharacter
- class AsDeviceIdCharacter p f s where
- deviceIdCharacter :: (Monad f, CharParsing f) => f DeviceIdCharacter
- getDeviceIdCharacter :: Getter DeviceIdCharacter Char
Documentation
data DeviceIdCharacter Source #
class AsDeviceIdCharacter p f s where Source #
_DeviceIdCharacter :: Optic' p f s DeviceIdCharacter Source #
((~) (* -> * -> *) p (->), Applicative f) => AsDeviceIdCharacter p f String Source # | |
(Choice p, Applicative f) => AsDeviceIdCharacter p f Char Source # | |
AsDeviceIdCharacter p f DeviceIdCharacter Source # | |
((~) (* -> * -> *) p (->), Applicative f) => AsDeviceIdCharacter p f DeviceId Source # | |
deviceIdCharacter :: (Monad f, CharParsing f) => f DeviceIdCharacter Source #
>>>
parse deviceIdCharacter "test" "A"
Right (DeviceIdCharacter 'A')
>>>
parse deviceIdCharacter "test" "0"
Right (DeviceIdCharacter '0')
>>>
parse deviceIdCharacter "test" "0abc"
Right (DeviceIdCharacter '0')
>>>
parse deviceIdCharacter "test" "a"
Left "test" (line 1, column 2): not a device ID character: a
>>>
parse deviceIdCharacter "test" "G"
Left "test" (line 1, column 2): not a device ID character: G
>>>
parse deviceIdCharacter "test" ""
Left "test" (line 1, column 1): unexpected end of input expecting device ID character