Safe Haskell	Safe
Language	Haskell2010

D10.Safe.Type

Synopsis

data D10
- = D0
- | D1
- | D2
- | D3
- | D4
- | D5
- | D6
- | D7
- | D8
- | D9

Documentation

data D10 Source #

A whole number between 0 and 9

Constructors

D0	Zero
D1	One
D2	Two
D3	Three
D4	Four
D5	Five
D6	Six
D7	Seven
D8	Eight
D9	Nine

Instances

Instances details

Bounded D10 Source #
Instance details Defined in D10.Safe.Type Methods minBound :: D10 # maxBound :: D10 #
Enum D10 Source #
Instance details Defined in D10.Safe.Type Methods succ :: D10 -> D10 # pred :: D10 -> D10 # toEnum :: Int -> D10 # fromEnum :: D10 -> Int # enumFrom :: D10 -> [D10] # enumFromThen :: D10 -> D10 -> [D10] # enumFromTo :: D10 -> D10 -> [D10] # enumFromThenTo :: D10 -> D10 -> D10 -> [D10] #
Eq D10 Source #
Instance details Defined in D10.Safe.Type Methods (==) :: D10 -> D10 -> Bool # (/=) :: D10 -> D10 -> Bool #
Data D10 Source #
Instance details Defined in D10.Safe.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> D10 -> c D10 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c D10 # toConstr :: D10 -> Constr # dataTypeOf :: D10 -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c D10) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c D10) # gmapT :: (forall b. Data b => b -> b) -> D10 -> D10 # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> D10 -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> D10 -> r # gmapQ :: (forall d. Data d => d -> u) -> D10 -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> D10 -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> D10 -> m D10 # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> D10 -> m D10 # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> D10 -> m D10 #
Ord D10 Source #
Instance details Defined in D10.Safe.Type Methods compare :: D10 -> D10 -> Ordering # (<) :: D10 -> D10 -> Bool # (<=) :: D10 -> D10 -> Bool # (>) :: D10 -> D10 -> Bool # (>=) :: D10 -> D10 -> Bool # max :: D10 -> D10 -> D10 # min :: D10 -> D10 -> D10 #
Show D10 Source #
Instance details Defined in D10.Safe.Type Methods showsPrec :: Int -> D10 -> ShowS # show :: D10 -> String # showList :: [D10] -> ShowS #
Generic D10 Source #
Instance details Defined in D10.Safe.Type Associated Types type Rep D10 :: Type -> Type # Methods from :: D10 -> Rep D10 x # to :: Rep D10 x -> D10 #
Hashable D10 Source #
Instance details Defined in D10.Safe.Type Methods hashWithSalt :: Int -> D10 -> Int # hash :: D10 -> Int #
type Rep D10 Source #
Instance details Defined in D10.Safe.Type type Rep D10 = D1 ('MetaData "D10" "D10.Safe.Type" "d10-1.0.1.0-HftrMlmNtL62FZNboGKHwQ" 'False) (((C1 ('MetaCons "D0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D1" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "D3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D4" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "D5" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "D7" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "D8" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "D9" 'PrefixI 'False) (U1 :: Type -> Type)))))