Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Eq Filename Source # | |
Ord Filename Source # | |
Show Filename Source # | |
((~) (* -> * -> *) p (->), Functor f) => AsTime p f Filename Source # | |
((~) (* -> * -> *) p (->), Functor f) => AsImageId p f Filename Source # | |
((~) (* -> * -> *) p (->), Functor f) => AsDeviceId p f Filename Source # | |
((~) (* -> * -> *) p (->), Functor f) => AsDate p f Filename Source # | |
((~) (* -> * -> *) p (->), Functor f) => AsAlias p f Filename Source # | |
AsFilename p f Filename Source # | |
class AsFilename p f s where Source #
AsFilename p f Filename Source # | |
filename :: (Monad f, CharParsing f) => f Filename Source #
>>>
parse filename "test" "00626E44C831(house)_1_20150209134121_2629.jpg"
Right (Filename (DeviceId (DeviceIdCharacter '0') (DeviceIdCharacter '0') (DeviceIdCharacter '6') (DeviceIdCharacter '2') (DeviceIdCharacter '6') (DeviceIdCharacter 'E') (DeviceIdCharacter '4') (DeviceIdCharacter '4') (DeviceIdCharacter 'C') (DeviceIdCharacter '8') (DeviceIdCharacter '3') (DeviceIdCharacter '1')) (Alias (AliasCharacter 'h') [AliasCharacter 'o',AliasCharacter 'u',AliasCharacter 's',AliasCharacter 'e']) 1 (Date 2 0 1 5 0 2 0 9) (Time 1 3 4 1 2 1) (ImageId 2 [6,2,9]))
>>>
parse filename "test" "00626E44C829(garage)_1_20140313234556_2660.jpg"
Right (Filename (DeviceId (DeviceIdCharacter '0') (DeviceIdCharacter '0') (DeviceIdCharacter '6') (DeviceIdCharacter '2') (DeviceIdCharacter '6') (DeviceIdCharacter 'E') (DeviceIdCharacter '4') (DeviceIdCharacter '4') (DeviceIdCharacter 'C') (DeviceIdCharacter '8') (DeviceIdCharacter '2') (DeviceIdCharacter '9')) (Alias (AliasCharacter 'g') [AliasCharacter 'a',AliasCharacter 'r',AliasCharacter 'a',AliasCharacter 'g',AliasCharacter 'e']) 1 (Date 2 0 1 4 0 3 1 3) (Time 2 3 4 5 5 6) (ImageId 2 [6,6,0]))
>>>
parse filename "test" "00626E44C82x(garage)_1_20140313234556_2660.jpg"
Left "test" (line 1, column 13): not a device ID character: x
>>>
parse filename "test" "00626E44C829(gara*ge)_1_20140313234556_2660.jpg"
Left "test" (line 1, column 19): not an alias character: *
>>>
parse filename "test" "00626E44C829(garage) 1_20140313234556_2660.jpg"
Left "test" (line 1, column 20): unexpected " " expecting ")_"
>>>
parse filename "test" "00626E44C829(garage)_x_20140313234556_2660.jpg"
Left "test" (line 1, column 23): not a digit: x
>>>
parse filename "test" "00626E44C829(garage)_1 20140313234556_2660.jpg"
Left "test" (line 1, column 23): unexpected " " expecting "_"
>>>
parse filename "test" "00626E44C829(garage)_1_x0140313234556_2660.jpg"
Left "test" (line 1, column 25): not a digit: x
getFilename :: Filename -> String Source #