{-# LANGUAGE FlexibleContexts #-} module Saturn.Unstable.Type.Minute 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 Minute = Minute Field.Field deriving (Minute -> Minute -> Bool forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: Minute -> Minute -> Bool $c/= :: Minute -> Minute -> Bool == :: Minute -> Minute -> Bool $c== :: Minute -> Minute -> Bool Eq, Int -> Minute -> ShowS [Minute] -> ShowS Minute -> String forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Minute] -> ShowS $cshowList :: [Minute] -> ShowS show :: Minute -> String $cshow :: Minute -> String showsPrec :: Int -> Minute -> ShowS $cshowsPrec :: Int -> Minute -> ShowS Show) bounds :: (Word.Word8, Word.Word8) bounds :: (Word8, Word8) bounds = (Word8 0, Word8 59) fromField :: Field.Field -> Maybe Minute fromField :: Field -> Maybe Minute 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 -> Minute Minute Field field else forall a. Maybe a Nothing toField :: Minute -> Field.Field toField :: Minute -> Field toField = coerce :: forall a b. Coercible a b => a -> b Coerce.coerce parsec :: (Parsec.Stream s m Char) => Parsec.ParsecT s u m Minute parsec :: forall s (m :: * -> *) u. Stream s m Char => ParsecT s u m Minute 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 Minute") forall (f :: * -> *) a. Applicative f => a -> f a pure forall a b. (a -> b) -> a -> b $ Field -> Maybe Minute fromField Field field toBuilder :: Minute -> Builder.Builder toBuilder :: Minute -> Builder toBuilder = Field -> Builder Field.toBuilder forall b c a. (b -> c) -> (a -> b) -> a -> c . Minute -> Field toField expand :: Minute -> Set.Set Word.Word8 expand :: Minute -> Set Word8 expand = (Word8, Word8) -> Field -> Set Word8 Field.expand (Word8, Word8) bounds forall b c a. (b -> c) -> (a -> b) -> a -> c . Minute -> Field toField isMatch :: Word.Word8 -> Minute -> Bool isMatch :: Word8 -> Minute -> 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 . Minute -> Set Word8 expand