Safe Haskell	None
Language	Haskell2010

Data.Thyme.Internal.Micro

Description

FOR INTERNAL USE ONLY.

Documentation

newtype Micro Source #

Constructors

Micro Int64

Instances

Bounded Micro Source #
Methods minBound :: Micro # maxBound :: Micro #
Enum Micro Source #
Methods succ :: Micro -> Micro # pred :: Micro -> Micro # toEnum :: Int -> Micro # fromEnum :: Micro -> Int # enumFrom :: Micro -> [Micro] # enumFromThen :: Micro -> Micro -> [Micro] # enumFromTo :: Micro -> Micro -> [Micro] # enumFromThenTo :: Micro -> Micro -> Micro -> [Micro] #
Eq Micro Source #
Methods (==) :: Micro -> Micro -> Bool # (/=) :: Micro -> Micro -> Bool #
Data Micro Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Micro -> c Micro # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Micro # toConstr :: Micro -> Constr # dataTypeOf :: Micro -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Micro) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Micro) # gmapT :: (forall b. Data b => b -> b) -> Micro -> Micro # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Micro -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Micro -> r # gmapQ :: (forall d. Data d => d -> u) -> Micro -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Micro -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Micro -> m Micro # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Micro -> m Micro # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Micro -> m Micro #
Ord Micro Source #
Methods compare :: Micro -> Micro -> Ordering # (<) :: Micro -> Micro -> Bool # (<=) :: Micro -> Micro -> Bool # (>) :: Micro -> Micro -> Bool # (>=) :: Micro -> Micro -> Bool # max :: Micro -> Micro -> Micro # min :: Micro -> Micro -> Micro #
Read Micro Source #
Methods readsPrec :: Int -> ReadS Micro # readList :: ReadS [Micro] # readPrec :: ReadPrec Micro # readListPrec :: ReadPrec [Micro] #
Show Micro Source #
Methods showsPrec :: Int -> Micro -> ShowS # show :: Micro -> String # showList :: [Micro] -> ShowS #
Ix Micro Source #
Methods range :: (Micro, Micro) -> [Micro] # index :: (Micro, Micro) -> Micro -> Int # unsafeIndex :: (Micro, Micro) -> Micro -> Int inRange :: (Micro, Micro) -> Micro -> Bool # rangeSize :: (Micro, Micro) -> Int # unsafeRangeSize :: (Micro, Micro) -> Int
Generic Micro Source #
Associated Types type Rep Micro :: * -> * # Methods from :: Micro -> Rep Micro x # to :: Rep Micro x -> Micro #
Arbitrary Micro Source #
Methods arbitrary :: Gen Micro # shrink :: Micro -> [Micro] #
CoArbitrary Micro Source #
Methods coarbitrary :: Micro -> Gen b -> Gen b #
NFData Micro Source #
Methods rnf :: Micro -> () #
Random Micro Source #
Methods randomR :: RandomGen g => (Micro, Micro) -> g -> (Micro, g) # random :: RandomGen g => g -> (Micro, g) # randomRs :: RandomGen g => (Micro, Micro) -> g -> [Micro] # randoms :: RandomGen g => g -> [Micro] # randomRIO :: (Micro, Micro) -> IO Micro # randomIO :: IO Micro #
Unbox Micro Source #

HasBasis Micro Source #
Associated Types type Basis Micro :: * # Methods basisValue :: Basis Micro -> Micro # decompose :: Micro -> [(Basis Micro, Scalar Micro)] # decompose' :: Micro -> Basis Micro -> Scalar Micro #
VectorSpace Micro Source #
Associated Types type Scalar Micro :: * # Methods (*^) :: Scalar Micro -> Micro -> Micro #
AdditiveGroup Micro Source #
Methods zeroV :: Micro # (^+^) :: Micro -> Micro -> Micro # negateV :: Micro -> Micro # (^-^) :: Micro -> Micro -> Micro #
Vector Vector Micro Source #
Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Micro -> m (Vector Micro) # basicUnsafeThaw :: PrimMonad m => Vector Micro -> m (Mutable Vector (PrimState m) Micro) # basicLength :: Vector Micro -> Int # basicUnsafeSlice :: Int -> Int -> Vector Micro -> Vector Micro # basicUnsafeIndexM :: Monad m => Vector Micro -> Int -> m Micro # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Micro -> Vector Micro -> m () # elemseq :: Vector Micro -> Micro -> b -> b #
MVector MVector Micro Source #
Methods basicLength :: MVector s Micro -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Micro -> MVector s Micro # basicOverlaps :: MVector s Micro -> MVector s Micro -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Micro) # basicInitialize :: PrimMonad m => MVector (PrimState m) Micro -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Micro -> m (MVector (PrimState m) Micro) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Micro -> Int -> m Micro # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Micro -> Int -> Micro -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Micro -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Micro -> Micro -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Micro -> MVector (PrimState m) Micro -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Micro -> MVector (PrimState m) Micro -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Micro -> Int -> m (MVector (PrimState m) Micro) #
type Rep Micro Source #
type Rep Micro = D1 * (MetaData "Micro" "Data.Thyme.Internal.Micro" "thyme-0.3.5.5-J1ErmNbLmoGE4Ys0FAccE5" True) (C1 * (MetaCons "Micro" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int64)))
data Vector Micro Source #
data Vector Micro = V_Micro (Vector Int64)
type Basis Micro Source #
type Basis Micro = ()
type Scalar Micro Source #
type Scalar Micro = Rational
data MVector s Micro Source #
data MVector s Micro = MV_Micro (MVector s Int64)

microQuotRem :: Micro -> Micro -> (Int64, Micro) Source #

microDivMod :: Micro -> Micro -> (Int64, Micro) Source #