{-# LANGUAGE FlexibleContexts #-} module Saturn.Unstable.Type.Month where import qualified Data.Coerce as Coerce import qualified Data.Set as Set import qualified Data.Text.Lazy.Builder as Builder import qualified Data.Word as Word import qualified Saturn.Unstable.Type.Field as Field import qualified Text.Parsec as Parsec newtype Month = Month Field.Field deriving (Month -> Month -> Bool forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: Month -> Month -> Bool $c/= :: Month -> Month -> Bool == :: Month -> Month -> Bool $c== :: Month -> Month -> Bool Eq, Int -> Month -> ShowS [Month] -> ShowS Month -> String forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Month] -> ShowS $cshowList :: [Month] -> ShowS show :: Month -> String $cshow :: Month -> String showsPrec :: Int -> Month -> ShowS $cshowsPrec :: Int -> Month -> ShowS Show) bounds :: (Word.Word8, Word.Word8) bounds :: (Word8, Word8) bounds = (Word8 1, Word8 12) fromField :: Field.Field -> Maybe Month fromField :: Field -> Maybe Month fromField Field field = if (Word8, Word8) -> Field -> Bool Field.isValid (Word8, Word8) bounds Field field then forall a. a -> Maybe a Just forall a b. (a -> b) -> a -> b $ Field -> Month Month Field field else forall a. Maybe a Nothing toField :: Month -> Field.Field toField :: Month -> Field toField = coerce :: forall a b. Coercible a b => a -> b Coerce.coerce parsec :: (Parsec.Stream s m Char) => Parsec.ParsecT s u m Month parsec :: forall s (m :: * -> *) u. Stream s m Char => ParsecT s u m Month parsec = do Field field <- forall s (m :: * -> *) u. Stream s m Char => ParsecT s u m Field Field.parsec forall b a. b -> (a -> b) -> Maybe a -> b maybe (forall (m :: * -> *) a. MonadFail m => String -> m a fail String "invalid Month") forall (f :: * -> *) a. Applicative f => a -> f a pure forall a b. (a -> b) -> a -> b $ Field -> Maybe Month fromField Field field toBuilder :: Month -> Builder.Builder toBuilder :: Month -> Builder toBuilder = Field -> Builder Field.toBuilder forall b c a. (b -> c) -> (a -> b) -> a -> c . Month -> Field toField expand :: Month -> Set.Set Word.Word8 expand :: Month -> Set Word8 expand = (Word8, Word8) -> Field -> Set Word8 Field.expand (Word8, Word8) bounds forall b c a. (b -> c) -> (a -> b) -> a -> c . Month -> Field toField isMatch :: Word.Word8 -> Month -> Bool isMatch :: Word8 -> Month -> Bool isMatch Word8 word8 = forall a. Ord a => a -> Set a -> Bool Set.member Word8 word8 forall b c a. (b -> c) -> (a -> b) -> a -> c . Month -> Set Word8 expand