xsd (empty) → 0.1

raw patch · 4 files changed

+130/−0 lines, 4 filesdep +basedep +parsecsetup-changed

Dependencies added: base, parsec

Files

• LICENSE +27/−0
• Setup.lhs +3/−0
• Text/XML/XSD/DateTime.hs +75/−0
• xsd.cabal +25/−0

@@ -0,0 +1,27 @@+Copyright 2009 Tony Morris++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions+are met:+1. Redistributions of source code must retain the above copyright+   notice, this list of conditions and the following disclaimer.+2. Redistributions in binary form must reproduce the above copyright+   notice, this list of conditions and the following disclaimer in the+   documentation and/or other materials provided with the distribution.+3. Neither the name of the author nor the names of his contributors+   may be used to endorse or promote products derived from this software+   without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE+ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHORS OR CONTRIBUTORS BE LIABLE+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS+OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)+HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT+LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY+OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF+SUCH DAMAGE.

@@ -0,0 +1,3 @@+#!/usr/bin/env runhaskell+> import Distribution.Simple+> main = defaultMain

@@ -0,0 +1,75 @@+-- | XSD @dateTime@ data structure <http://www.w3.org/TR/xmlschema-2/#dateTime>+module Text.XML.XSD.DateTime(+                              DateTime,+                              dateTime',+                              dateTime+                            ) where++import Text.ParserCombinators.Parsec+import Data.Maybe+import Control.Monad++data DateTime = DateTime Bool Int Int Int Int Int Int Int Offset+  deriving Eq++instance Show DateTime where+  show (DateTime neg cc yy mm dd hhh mmm sss tz) =+    join [if neg then "-" else [], showi cc, showi yy, "-", showi mm, "-", showi dd, "T", showi hhh, ":", showi mmm, ":", showi sss, show tz]++-- | Parses the string into a @dateTime@ or may fail with a parse error.+dateTime' :: String -> Either ParseError DateTime+dateTime' = parse parseDateTime "DateTime parser"++-- | Parses the string into a @dateTime@ or may fail.+dateTime :: String -> Maybe DateTime+dateTime = either (const Nothing) Just . dateTime'++-- not exported++data Offset = Offset Bool (Maybe Bool) (Maybe Int) (Maybe Int)+  deriving Eq++instance Show Offset where+  show (Offset False Nothing Nothing Nothing) = []+  show (Offset True Nothing Nothing Nothing) = "Z"+  show (Offset False (Just neg) (Just hh) (Just mm)) = join [if neg then "-" else "+", showi hh, ":", showi mm]+  show _ = error "Offset invariant not met"++showi :: (Num a, Ord a) => a -> String+showi n = (if n < 10 then ('0':) else id) (show n)++examples :: [String]+examples = ["2009-10-10T03:10:10-05:00", "2009-10-10T03:10:10+15:00", "2009-10-10T03:10:10Z", "-2009-05-10T21:08:59-05:00", "-9399-12-31T13:10:10+15:00", "-2009-10-10T03:10:10Z"]++parseOffset :: GenParser Char st Offset+parseOffset = let e = const (Offset False Nothing Nothing Nothing) `fmap` eof+                  z = const (Offset True Nothing Nothing Nothing) `fmap` char 'Z'+                  o = do neg <- fmap (== '-') (char '+' <|> char '-')+                         hh <- p2imax 23+                         char ':'+                         mm <- p2imax 59+                         return (Offset False (Just neg) (Just hh) (Just mm))+              in e <|> z <|> o++parseDateTime :: GenParser Char st DateTime+parseDateTime = do neg <- isJust `fmap` optionMaybe (char '-')+                   cc <- p2i+                   yy <- p2i+                   char '-'+                   mm <- p2imax 12+                   char '-'+                   dd <- p2imax 31+                   char 'T'+                   hhh <- p2imax 23+                   char ':'+                   mmm <- p2imax 59+                   char ':'+                   sss <- p2imax 59+                   o <- parseOffset+                   return (DateTime neg cc yy mm dd hhh mmm sss o)++p2i :: GenParser Char st Int+p2i = liftM2 (\a b -> read [a, b]) digit digit++p2imax :: Int -> GenParser Char st Int+p2imax m = p2i >>= (\n -> if n > m then unexpected ("expecting <= " ++ show m) else return n)

@@ -0,0 +1,25 @@+Name:                xsd+Version:             0.1+License:             BSD3+License-File:        LICENSE+Synopsis:            XML Schema data structures+Description:         XML Schema data structures (XSD)+Homepage:            http://code.google.com/p/data-xsd/+Category:            XML+Author:              Tony Morris+Maintainer:          code@tmorris.net+Copyright:           2009 Tony Morris+build-type:          Simple+cabal-version:       >= 1.2++Flag small_base+  Description:     Choose the new, split-up base package.++Library+  if flag(small_base)+    Build-Depends: base < 4 && >= 3, parsec+  else+    Build-Depends: base < 3, parsec++  GHC-Options:    -Wall+  Exposed-Modules: Text.XML.XSD.DateTime