Safe Haskell	None
Language	Haskell2010

Control.Monad.Yaftee.Pipe.MonoTraversable

Documentation

lengthRun :: forall (nm :: Symbol) (es :: [HT]) i o r. Loose (U es) => E (Named nm Length ': es) i o r -> E es i o (r, Length) Source #

length :: forall mono (es :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]) r. forall (nm :: Symbol) -> (MonoFoldable mono, Member P es, Member (Named nm Length) es) => E es mono mono r Source #

length' :: forall mono (es :: [(Type -> Type -> Type -> Type) -> Type -> Type -> Type -> Type]). forall (nm :: Symbol) -> (MonoFoldable mono, Member P es, Member (Named nm Length) es) => E es mono mono () Source #

data Length Source #

Instances

Instances details

Enum Length Source #
Instance details Defined in Control.Monad.Yaftee.Pipe.MonoTraversable Methods succ :: Length -> Length # pred :: Length -> Length # toEnum :: Int -> Length # fromEnum :: Length -> Int # enumFrom :: Length -> [Length] # enumFromThen :: Length -> Length -> [Length] # enumFromTo :: Length -> Length -> [Length] # enumFromThenTo :: Length -> Length -> Length -> [Length] #
Num Length Source #
Instance details Defined in Control.Monad.Yaftee.Pipe.MonoTraversable Methods (+) :: Length -> Length -> Length # (-) :: Length -> Length -> Length # (*) :: Length -> Length -> Length # negate :: Length -> Length # abs :: Length -> Length # signum :: Length -> Length # fromInteger :: Integer -> Length #
Integral Length Source #
Instance details Defined in Control.Monad.Yaftee.Pipe.MonoTraversable Methods quot :: Length -> Length -> Length # rem :: Length -> Length -> Length # div :: Length -> Length -> Length # mod :: Length -> Length -> Length # quotRem :: Length -> Length -> (Length, Length) # divMod :: Length -> Length -> (Length, Length) # toInteger :: Length -> Integer #
Real Length Source #
Instance details Defined in Control.Monad.Yaftee.Pipe.MonoTraversable Methods toRational :: Length -> Rational #
Show Length Source #
Instance details Defined in Control.Monad.Yaftee.Pipe.MonoTraversable Methods showsPrec :: Int -> Length -> ShowS # show :: Length -> String # showList :: [Length] -> ShowS #
Eq Length Source #
Instance details Defined in Control.Monad.Yaftee.Pipe.MonoTraversable Methods (==) :: Length -> Length -> Bool # (/=) :: Length -> Length -> Bool #
Ord Length Source #
Instance details Defined in Control.Monad.Yaftee.Pipe.MonoTraversable Methods compare :: Length -> Length -> Ordering # (<) :: Length -> Length -> Bool # (<=) :: Length -> Length -> Bool # (>) :: Length -> Length -> Bool # (>=) :: Length -> Length -> Bool # max :: Length -> Length -> Length # min :: Length -> Length -> Length #

lengthFromInt64 :: Int64 -> Length Source #

lengthToInt64 :: Length -> Int64 Source #