From 391150f050c2bd9d567c0fb7be0b668c7e839d62 Mon Sep 17 00:00:00 2001 From: Irakli Safareli Date: Thu, 7 Dec 2017 14:19:29 +0100 Subject: [PATCH] remove DateTime from InputType fixes #17 --- src/Data/BrowserFeatures/InputType.purs | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/Data/BrowserFeatures/InputType.purs b/src/Data/BrowserFeatures/InputType.purs index d30aa56..ed899d6 100644 --- a/src/Data/BrowserFeatures/InputType.purs +++ b/src/Data/BrowserFeatures/InputType.purs @@ -9,7 +9,6 @@ import Prelude data InputType = Color | Date - | DateTime | DateTimeLocal | Time | Month @@ -25,7 +24,6 @@ allInputTypes :: Array InputType allInputTypes = [ Color , Date - , DateTime , DateTimeLocal , Time , Month @@ -44,7 +42,6 @@ derive instance ordInputType :: Ord InputType instance showInputType :: Show InputType where show Color = "Color" show Date = "Date" - show DateTime = "DateTime" show DateTimeLocal = "DateTimeLocal" show Time = "Time" show Month = "Month" @@ -61,7 +58,6 @@ instance showInputType :: Show InputType where renderInputType :: InputType -> String renderInputType Color = "color" renderInputType Date = "date" -renderInputType DateTime = "datetime" renderInputType DateTimeLocal = "datetime-local" renderInputType Time = "time" renderInputType Month = "month"