{-# 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