Copyright	(c) Joseph Morag 2021-2022
License	BSD3
Maintainer	Joseph Morag <[email protected]>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.BEncode.Lens

Contents

Description

Synopsis

Prisms

class AsBValue t where Source #

Things that can be treated as a BValue. Instances are provided for strict and lazy ByteString as well as BValues themselves.

Minimal complete definition

Methods

>>> ("i3e" :: ByteString) ^? _BInteger
Just 3

>>> ("0:" :: ByteString) ^? _BString
Just ""

>>> ("4:spam" :: ByteString) ^? _BString
Just "spam"

>>> ("le" :: ByteString) ^? _BList
Just []

>>> ("l4:spam4:eggse" :: ByteString) ^? _BList == Just [BString "spam", BString "eggs"]
True

>>> ("de" :: ByteString) ^? _BDict
Just Nil

>>> ("d3:cow3:moo4:spam4:eggse" :: ByteString) ^? _BDict == Just (Cons "cow" (BString "moo") (Cons "spam" (BString "eggs") Nil))
True

Instances details

AsBValue ByteString Source #
Instance details Defined in Data.BEncode.Lens Methods _BValue :: Prism' ByteString BValue Source # _BInteger :: Prism' ByteString BInteger Source # _BString :: Prism' ByteString BString Source # _BList :: Prism' ByteString BList Source # _BDict :: Prism' ByteString BDict Source #
AsBValue ByteString Source #
Instance details Defined in Data.BEncode.Lens Methods _BValue :: Prism' ByteString BValue Source # _BInteger :: Prism' ByteString BInteger Source # _BString :: Prism' ByteString BString Source # _BList :: Prism' ByteString BList Source # _BDict :: Prism' ByteString BDict Source #
AsBValue BValue Source #
Instance details Defined in Data.BEncode.Lens Methods _BValue :: Prism' BValue BValue Source # _BInteger :: Prism' BValue BInteger Source # _BString :: Prism' BValue BString Source # _BList :: Prism' BValue BList Source # _BDict :: Prism' BValue BDict Source #

BDicts and BLists

>>> ("d3:cow3:moo4:spam4:eggse" :: ByteString) ^@.. members
[("cow",BString "moo"),("spam",BString "eggs")]

>>> ("d3:cow3:moo4:spam4:eggse" :: ByteString) ^? key "cow"
Just (BString "moo")

>>> ("li0ei1ee" :: ByteString) ^? nth 0
Just (BInteger 0)

>>> ("ll1:ae3:cow3:moo4:spam4:eggse" :: ByteString) ^.. values
[BList [BString "a"],BString "cow",BString "moo",BString "spam",BString "eggs"]

Traversable BDictMap Source #
Instance details Methods traverse :: Applicative f => (a -> f b) -> BDictMap a -> f (BDictMap b) # sequenceA :: Applicative f => BDictMap (f a) -> f (BDictMap a) # mapM :: Monad m => (a -> m b) -> BDictMap a -> m (BDictMap b) # sequence :: Monad m => BDictMap (m a) -> m (BDictMap a) #
Ixed BValue Source #
Instance details Methods ix :: Index BValue -> Traversal' BValue (IxValue BValue) #
Plated BValue Source #
Instance details Methods plate :: Traversal' BValue BValue #
TraversableWithIndex BKey BDictMap Source #
Instance details Methods itraverse :: Applicative f => (BKey -> a -> f b) -> BDictMap a -> f (BDictMap b) #
FoldableWithIndex BKey BDictMap Source #
Instance details Methods ifoldMap :: Monoid m => (BKey -> a -> m) -> BDictMap a -> m # ifoldMap' :: Monoid m => (BKey -> a -> m) -> BDictMap a -> m # ifoldr :: (BKey -> a -> b -> b) -> b -> BDictMap a -> b # ifoldl :: (BKey -> b -> a -> b) -> b -> BDictMap a -> b # ifoldr' :: (BKey -> a -> b -> b) -> b -> BDictMap a -> b # ifoldl' :: (BKey -> b -> a -> b) -> b -> BDictMap a -> b #
FunctorWithIndex BKey BDictMap Source #
Instance details Methods imap :: (BKey -> a -> b) -> BDictMap a -> BDictMap b #
Ixed (BDictMap a) Source #
Instance details Methods ix :: Index (BDictMap a) -> Traversal' (BDictMap a) (IxValue (BDictMap a)) #
At (BDictMap a) Source #
Instance details Methods at :: Index (BDictMap a) -> Lens' (BDictMap a) (Maybe (IxValue (BDictMap a))) #