Searched refs:tvInfo (Results 1 – 5 of 5) sorted by relevance
309 desc v = ppWithNames nm v <+> text "is" <+> pp (tvInfo v)319 desc1 v = "•" <+> ppWithNames nm v <.> comma <+> pp (tvInfo v)324 desc2 v = ppWithNames nm v <+> text "is" <+> pp (tvInfo v)
53 let d = tvInfo a75 let w = DefaultingTo (tvInfo a) defT
207 src = tvarDesc (tvInfo a)
134 tvInfo :: TVar -> TVarInfo135 tvInfo tv = function
340 TextView tvInfo = (TextView)view.findViewById(R.id.textViewInfo); in dlgAccountSetting() local341 tvInfo.setText("Last status: " + lastRegStatus); in dlgAccountSetting()