Safe Haskell	None
Language	Haskell2010

Data.Digits1

Documentation

newtype Digits1 Source #

Constructors

Digits1 (NonEmpty Digit)

Instances

Eq Digits1 Source #
Methods (==) :: Digits1 -> Digits1 -> Bool # (/=) :: Digits1 -> Digits1 -> Bool #
Data Digits1 Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Digits1 -> c Digits1 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Digits1 # toConstr :: Digits1 -> Constr # dataTypeOf :: Digits1 -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Digits1) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Digits1) # gmapT :: (forall b. Data b => b -> b) -> Digits1 -> Digits1 # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Digits1 -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Digits1 -> r # gmapQ :: (forall d. Data d => d -> u) -> Digits1 -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Digits1 -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Digits1 -> m Digits1 # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Digits1 -> m Digits1 # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Digits1 -> m Digits1 #
Ord Digits1 Source #
Methods compare :: Digits1 -> Digits1 -> Ordering # (<) :: Digits1 -> Digits1 -> Bool # (<=) :: Digits1 -> Digits1 -> Bool # (>) :: Digits1 -> Digits1 -> Bool # (>=) :: Digits1 -> Digits1 -> Bool # max :: Digits1 -> Digits1 -> Digits1 # min :: Digits1 -> Digits1 -> Digits1 #
Show Digits1 Source #
Methods showsPrec :: Int -> Digits1 -> ShowS # show :: Digits1 -> String # showList :: [Digits1] -> ShowS #
Semigroup Digits1 Source #
Methods (<>) :: Digits1 -> Digits1 -> Digits1 # sconcat :: NonEmpty Digits1 -> Digits1 # stimes :: Integral b => b -> Digits1 -> Digits1 #
Ixed Digits1 Source #
Methods ix :: Index Digits1 -> Traversal' Digits1 (IxValue Digits1) #
Wrapped Digits1 Source #
Associated Types type Unwrapped Digits1 :: * # Methods _Wrapped' :: Iso' Digits1 (Unwrapped Digits1) #
Plated Digits1 Source #
Methods plate :: Traversal' Digits1 Digits1 #
Reversing Digits1 Source #
Methods reversing :: Digits1 -> Digits1 #
ManyDigit Digits1 Source #
Methods digitT :: Traversal' Digits1 Digit Source #
ManyDigits1 Digits1 Source #
Methods digits1T :: Traversal' Digits1 Digits1 Source #
HasDigits1 Digits1 Source #
Methods digits1L :: Lens' Digits1 Digits1 Source #
AsDigits1 Digits1 Source #
Methods _Digits1 :: Prism' Digits1 Digits1 Source #
(~) * Digits1 t0 => Rewrapped Digits1 t0 Source #

Cons Digits1 Digits1 Digit Digit Source #
Methods _Cons :: Prism Digits1 Digits1 (Digit, Digits1) (Digit, Digits1) #
Snoc Digits1 Digits1 Digit Digit Source #
Methods _Snoc :: Prism Digits1 Digits1 (Digits1, Digit) (Digits1, Digit) #
Each Digits1 Digits1 Digit Digit Source #
Methods each :: Traversal Digits1 Digits1 Digit Digit #
type Index Digits1 Source #
type Index Digits1 = Int
type IxValue Digits1 Source #
type IxValue Digits1 = Digit
type Unwrapped Digits1 Source #
type Unwrapped Digits1 = NonEmpty Digit

class AsDigits1 a where Source #

Methods

_Digits1 :: Prism' a Digits1 Source #

Instances

AsDigits1 Digits1 Source #
Methods _Digits1 :: Prism' Digits1 Digits1 Source #
AsDigits1 Digits Source #
Methods _Digits1 :: Prism' Digits Digits1 Source #
AsDigit a => AsDigits1 [a] Source #
Methods _Digits1 :: Prism' [a] Digits1 Source #
AsDigit a => AsDigits1 (NonEmpty a) Source #
Methods _Digits1 :: Prism' (NonEmpty a) Digits1 Source #

class HasDigits1 a where Source #

Minimal complete definition

digits1L

Methods

digits1L :: Lens' a Digits1 Source #

Instances

HasDigits1 Digits1 Source #
Methods digits1L :: Lens' Digits1 Digits1 Source #

class ManyDigits1 a where Source #

Minimal complete definition

digits1T

Methods

digits1T :: Traversal' a Digits1 Source #

Instances

ManyDigits1 Digits1 Source #
Methods digits1T :: Traversal' Digits1 Digits1 Source #

parsedigitlist1 :: CharParsing p => p Digits1 Source #