| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Radius.StreamPut.Monadic
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 #
Minimal complete definition
atValueEncode
Instances
| AtValueEncode AtInteger Source # | |
Defined in Data.Radius.StreamPut.Monadic Methods atValueEncode :: AtInteger -> Put | |
| AtValueEncode AtIpV4 Source # | |
Defined in Data.Radius.StreamPut.Monadic Methods atValueEncode :: AtIpV4 -> Put | |
| AtValueEncode AtString Source # | |
Defined in Data.Radius.StreamPut.Monadic Methods atValueEncode :: AtString -> Put | |
| AtValueEncode AtText Source # | |
Defined in Data.Radius.StreamPut.Monadic Methods atValueEncode :: AtText -> Put | |
exAttribute :: (a -> Put) -> Attribute v a -> AttributePutM v () Source #
attribute :: AtValueEncode a => Attribute v a -> AttributePutM v () Source #