spiros-0.0.0: my custom prelude
Digit
newtype Digit Source #
Constructors
Instances
Methods
minBound :: Digit #
maxBound :: Digit #
succ :: Digit -> Digit #
pred :: Digit -> Digit #
toEnum :: Int -> Digit #
fromEnum :: Digit -> Int #
enumFrom :: Digit -> [Digit] #
enumFromThen :: Digit -> Digit -> [Digit] #
enumFromTo :: Digit -> Digit -> [Digit] #
enumFromThenTo :: Digit -> Digit -> Digit -> [Digit] #
(==) :: Digit -> Digit -> Bool #
(/=) :: Digit -> Digit -> Bool #
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Digit -> c Digit #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Digit #
toConstr :: Digit -> Constr #
dataTypeOf :: Digit -> DataType #
dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Digit) #
dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Digit) #
gmapT :: (forall b. Data b => b -> b) -> Digit -> Digit #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Digit -> r #
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Digit -> r #
gmapQ :: (forall d. Data d => d -> u) -> Digit -> [u] #
gmapQi :: Int -> (forall d. Data d => d -> u) -> Digit -> u #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> Digit -> m Digit #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Digit -> m Digit #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Digit -> m Digit #
compare :: Digit -> Digit -> Ordering #
(<) :: Digit -> Digit -> Bool #
(<=) :: Digit -> Digit -> Bool #
(>) :: Digit -> Digit -> Bool #
(>=) :: Digit -> Digit -> Bool #
max :: Digit -> Digit -> Digit #
min :: Digit -> Digit -> Digit #
readsPrec :: Int -> ReadS Digit #
readList :: ReadS [Digit] #
readPrec :: ReadPrec Digit #
readListPrec :: ReadPrec [Digit] #
showsPrec :: Int -> Digit -> ShowS #
show :: Digit -> String #
showList :: [Digit] -> ShowS #
Associated Types
type Rep Digit :: * -> * #
from :: Digit -> Rep Digit x #
to :: Rep Digit x -> Digit #
rnf :: Digit -> () #
hashWithSalt :: Int -> Digit -> Int #
hash :: Digit -> Int #
parseDigit :: (IsString s, Eq s) => s -> Maybe Digit Source #
isDigit :: Integral a => a -> Maybe Digit Source #