Data.BEncode.Lens

This module exports orphan instances for Ixed BValue, Plated BValue, Ixed BDictMap, Plated BDictMap, Traversable BDictMap, FunctorWithIndex BDictMap, FoldableWithIndex BDictMap, and TraversbaleWithIndex BDictMap.

Prisms

class AsBValue t where

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

Minimal complete definition

_BValue

Methods

_BValue :: Prism' t BValue

_BInteger :: Prism' t BInteger

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

_BString :: Prism' t BString

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

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

_BList :: Prism' t BList

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

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

_BDict :: Prism' t BDict

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

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

Instances

AsBValue ByteString

Defined in Data.BEncode.Lens

Methods

_BValue :: Prism' ByteString BValue

_BInteger :: Prism' ByteString BInteger

_BString :: Prism' ByteString BString

_BList :: Prism' ByteString BList

_BDict :: Prism' ByteString BDict

AsBValue ByteString

Defined in Data.BEncode.Lens

Methods

_BValue :: Prism' ByteString BValue

_BInteger :: Prism' ByteString BInteger

_BString :: Prism' ByteString BString

_BList :: Prism' ByteString BList

_BDict :: Prism' ByteString BDict

AsBValue BValue

Defined in Data.BEncode.Lens

Methods

_BValue :: Prism' BValue BValue

_BInteger :: Prism' BValue BInteger

_BString :: Prism' BValue BString

_BList :: Prism' BValue BList

_BDict :: Prism' BValue BDict

BDicts and BLists

members :: AsBValue t => IndexedTraversal' BKey t BValue

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

key :: AsBValue t => BKey -> Traversal' t BValue

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

nth :: AsBValue t => Int -> Traversal' t BValue

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

values :: AsBValue t => IndexedTraversal' Int t BValue

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

Orphan instances

Traversable BDictMap

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

Methods

ix :: Index BValue -> Traversal' BValue (IxValue BValue)

Plated BValue

Methods

plate :: Traversal' BValue BValue

TraversableWithIndex BKey BDictMap

Methods

itraverse :: Applicative f => (BKey -> a -> f b) -> BDictMap a -> f (BDictMap b)

FoldableWithIndex BKey BDictMap

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

Methods

imap :: (BKey -> a -> b) -> BDictMap a -> BDictMap b

Ixed (BDictMap a)

Methods

ix :: Index (BDictMap a) -> Traversal' (BDictMap a) (IxValue (BDictMap a))

At (BDictMap a)

Methods

at :: Index (BDictMap a) -> Lens' (BDictMap a) (Maybe (IxValue (BDictMap a)))