Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
intoProto :: forall proto through haskell. (Message proto, HasField proto "val" through, From haskell through, 'False ~ (haskell == through)) => haskell -> proto Source #
fromProto :: forall proto through haskell. (HasField proto "val" through, From through haskell, 'False ~ (through == haskell)) => proto -> haskell Source #