From 29f71e629bfe700a4bfcc7d2018bdab305d6fc3e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 May 2009 09:33:48 -0400 Subject: cselect --- lib/ur/basis.urs | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) (limited to 'lib/ur/basis.urs') diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 9736ce1e..cc18d7b2 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -623,13 +623,17 @@ val submit : ctx ::: {Unit} -> use ::: {Type} (*** AJAX-oriented widgets *) -con cformTag = fn (attrs :: {Type}) => +con cformTag = fn (attrs :: {Type}) (inner :: {Unit}) => ctx ::: {Unit} -> [[Body] ~ ctx] => - unit -> tag attrs ([Body] ++ ctx) [] [] [] + unit -> tag attrs ([Body] ++ ctx) inner [] [] -val ctextbox : cformTag [Value = string, Size = int, Source = source string] -val button : cformTag [Value = string, Onclick = transaction unit] +val ctextbox : cformTag [Value = string, Size = int, Source = source string] [] +val button : cformTag [Value = string, Onclick = transaction unit] [] + +con cselect = [Cselect] +val cselect : cformTag [Source = source string] cselect +val coption : unit -> tag [Value = string, Selected = bool] cselect [] [] [] (*** Tables *) -- cgit v1.2.3