Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
a := b infixl 3 |
(Show a, Show b) => Show ((:=) a b) | |
Property ((:+) ((:=) n v) b) n v | |
Property ((:=) n v) n v | |
ToType v => RecordTemplate ((:=) String v) [(String, Q Type, Maybe (Q Exp))] [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToExp d) => RecordTemplate ((:=) ((:=) String v) d) [(String, Q Type, Maybe (Q Exp))] [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToType w, ToExp e) => RecordTemplate ((:=) String v) ((:=) ((:=) String w) e) [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToType w) => RecordTemplate ((:=) String v) ((:=) String w) [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToType w, ToExp d, ToExp e) => RecordTemplate ((:=) ((:=) String v) d) ((:=) ((:=) String w) e) [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToType w, ToExp d) => RecordTemplate ((:=) ((:=) String v) d) ((:=) String w) [(String, Q Type, Maybe (Q Exp))] |
a :+ b infixr 2 |
has :: RecordTemplate a b c => a -> b -> c infixr 1 Source
class RecordTemplate a b c | a b -> c where Source
ToType v => RecordTemplate ((:=) String v) [(String, Q Type, Maybe (Q Exp))] [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToExp d) => RecordTemplate ((:=) ((:=) String v) d) [(String, Q Type, Maybe (Q Exp))] [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToType w, ToExp e) => RecordTemplate ((:=) String v) ((:=) ((:=) String w) e) [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToType w) => RecordTemplate ((:=) String v) ((:=) String w) [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToType w, ToExp d, ToExp e) => RecordTemplate ((:=) ((:=) String v) d) ((:=) ((:=) String w) e) [(String, Q Type, Maybe (Q Exp))] | |
(ToType v, ToType w, ToExp d) => RecordTemplate ((:=) ((:=) String v) d) ((:=) String w) [(String, Q Type, Maybe (Q Exp))] |
module Data.Name