Safe Haskell | Safe |
---|---|
Language | GHC2021 |
Documentation
A whole number between 0 and 9
Instances
Data D10 Source # | |
Defined in D10.Safe.Type 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 # 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 # | |
Bounded D10 Source # | |
Enum D10 Source # | |
Generic D10 Source # | |
Show D10 Source # | |
Eq D10 Source # | |
Ord D10 Source # | |
Hashable D10 Source # | |
Defined in D10.Safe.Type | |
type Rep D10 Source # | |
Defined in D10.Safe.Type type Rep D10 = D1 ('MetaData "D10" "D10.Safe.Type" "d10-1.0.1.3-D40qdO9NDVvFneHsRZYne9" '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))))) |