Documentation

t_newPair :: (Type, Type) -> String -> Q Exp Source #

t_deletePair :: (Type, Type) -> String -> Q Exp Source #

t_first_get :: (Type, Type) -> String -> Q Exp Source #

t_first_set :: (Type, Type) -> String -> Q Exp Source #

t_second_get :: (Type, Type) -> String -> Q Exp Source #

t_second_set :: (Type, Type) -> String -> Q Exp Source #

genPairInstanceFor :: IsCPrimitive -> (Q Type, TemplateParamInfo) -> (Q Type, TemplateParamInfo) -> Q [Dec] Source #