Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type AttributePutM v = Writer (DList (Attribute' v))
- extractAttributes :: AttributePutM v a -> [Attribute' v]
- tellA :: AtValueEncode a => TypedNumber v a -> a -> AttributePutM v ()
- class AtValueEncode a
- exAttribute :: (a -> Put) -> Attribute v a -> AttributePutM v ()
- attribute :: AtValueEncode a => Attribute v a -> AttributePutM v ()
DSL to build attribute list of packet
type AttributePutM v = Writer (DList (Attribute' v)) Source #
Context monad type to build attribute list of packet
extractAttributes :: AttributePutM v a -> [Attribute' v] Source #
Extract attribute list from context
tellA :: AtValueEncode a => TypedNumber v a -> a -> AttributePutM v () Source #
Add attribute key and value into monadic context
low-level definitions
class AtValueEncode a Source #
atValueEncode
Instances
AtValueEncode AtIpV4 Source # | |
Defined in Data.Radius.StreamPut.Monadic atValueEncode :: AtIpV4 -> Put | |
AtValueEncode AtInteger Source # | |
Defined in Data.Radius.StreamPut.Monadic atValueEncode :: AtInteger -> Put | |
AtValueEncode AtString Source # | |
Defined in Data.Radius.StreamPut.Monadic atValueEncode :: AtString -> Put | |
AtValueEncode AtText Source # | |
Defined in Data.Radius.StreamPut.Monadic atValueEncode :: AtText -> Put |
exAttribute :: (a -> Put) -> Attribute v a -> AttributePutM v () Source #
attribute :: AtValueEncode a => Attribute v a -> AttributePutM v () Source #