Safe Haskell	Safe
Language	Haskell2010

Math.Tools.I

Documentation

newtype I a Source #

Constructors

I
Fields unI :: a

Instances

Instances details

MonadFail I Source #
Instance details Defined in Math.Tools.I Methods fail :: String -> I a #
Applicative I Source #
Instance details Defined in Math.Tools.I Methods pure :: a -> I a # (<>) :: I (a -> b) -> I a -> I b # liftA2 :: (a -> b -> c) -> I a -> I b -> I c # (>) :: I a -> I b -> I b # (<*) :: I a -> I b -> I a #
Functor I Source #
Instance details Defined in Math.Tools.I Methods fmap :: (a -> b) -> I a -> I b # (<$) :: a -> I b -> I a #
Monad I Source #
Instance details Defined in Math.Tools.I Methods (>>=) :: I a -> (a -> I b) -> I b # (>>) :: I a -> I b -> I b # return :: a -> I a #
Group I
Instance details Defined in Math.Tools.Group Methods greturn :: top -> I top gjoin :: I (I top) -> I top glift :: (a -> b) -> a -> I b gbind :: (a -> I b) -> I a -> I b
Indexable I a Source #
Instance details Defined in Math.Matrix.Indexable Methods diagonalProjections :: I (Index I a) Source # basisVector :: Index I a -> a -> I a -> I a Source # indexProject :: Index I a -> I a -> a Source # indexableIndices :: I a Source #
FunctorArrow I (::=::) (::=::) Source #
Instance details Defined in Math.Tools.Isomorphism Methods amap :: forall (c :: k) (d :: k). (c ::=:: d) -> I c ::=:: I d Source #
FunctorArrow I (:==:) (:==:) Source #
Instance details Defined in Math.Tools.Isomorphism Methods amap :: forall (c :: k) (d :: k). (c :==: d) -> I c :==: I d Source #
FunctorArrow I (->) (->) Source #
Instance details Defined in Math.Tools.Arrow Methods amap :: forall (c :: k) (d :: k). (c -> d) -> I c -> I d Source #
Floating a => Floating (I a) Source #
Instance details Defined in Math.Tools.I Methods pi :: I a # exp :: I a -> I a # log :: I a -> I a # sqrt :: I a -> I a # (**) :: I a -> I a -> I a # logBase :: I a -> I a -> I a # sin :: I a -> I a # cos :: I a -> I a # tan :: I a -> I a # asin :: I a -> I a # acos :: I a -> I a # atan :: I a -> I a # sinh :: I a -> I a # cosh :: I a -> I a # tanh :: I a -> I a # asinh :: I a -> I a # acosh :: I a -> I a # atanh :: I a -> I a # log1p :: I a -> I a # expm1 :: I a -> I a # log1pexp :: I a -> I a # log1mexp :: I a -> I a #
Num a => Num (I a) Source #
Instance details Defined in Math.Tools.I Methods (+) :: I a -> I a -> I a # (-) :: I a -> I a -> I a # (*) :: I a -> I a -> I a # negate :: I a -> I a # abs :: I a -> I a # signum :: I a -> I a # fromInteger :: Integer -> I a #
Fractional a => Fractional (I a) Source #
Instance details Defined in Math.Tools.I Methods (/) :: I a -> I a -> I a # recip :: I a -> I a # fromRational :: Rational -> I a #
Show a => Show (I a) Source #
Instance details Defined in Math.Tools.I Methods showsPrec :: Int -> I a -> ShowS # show :: I a -> String # showList :: [I a] -> ShowS #
Num a => VectorSpace (I a) Source #
Instance details Defined in Math.Matrix.Interface Associated Types type Scalar (I a) Source # Methods vzero :: I a Source # vnegate :: I a -> I a Source # (%+) :: I a -> I a -> I a Source # (%*) :: Scalar (I a) -> I a -> I a Source #
PpShow a => PpShow (I a) Source #
Instance details Defined in Math.Tools.I Methods pp :: I a -> Doc Source #
Builder (I a) Source #
Instance details Defined in Math.Tools.Visitor Associated Types data Unfold (I a) :: Type -> Type Source # Methods build :: Unfold (I a) a0 -> a0 -> I a Source #
ComposableVisitor (I a) Source #
Instance details Defined in Math.Tools.Visitor Methods embed :: (I a -> b) -> Fold (I a) b Source # (+.+) :: Visitor b => Fold b c -> Fold (I a) b -> Fold (I a) c Source #
Visitor (I a) Source #
Instance details Defined in Math.Tools.Visitor Associated Types data Fold (I a) :: Type -> Type Source # Methods visit :: Fold (I a) a0 -> I a -> a0 Source #
type Scalar (I a) Source #
Instance details Defined in Math.Matrix.Interface type Scalar (I a) = a
data Fold (I a) b Source #
Instance details Defined in Math.Tools.Visitor data Fold (I a) b = IFold (a -> b)
data Unfold (I a) b Source #
Instance details Defined in Math.Tools.Visitor data Unfold (I a) b = IUnfold (b -> a)

data Void a Source #

Constructors

Void

unfmapI :: (I a -> I b) -> a -> b Source #

data V a Source #

Constructors

V

Instances

Instances details

Show (V a) Source #
Instance details Defined in Math.Tools.I Methods showsPrec :: Int -> V a -> ShowS # show :: V a -> String # showList :: [V a] -> ShowS #