algebra-4.3: Constructive abstract algebra

Numeric.Algebra.Hyperbolic

# Documentation

class Hyperbolic r where Source #

Minimal complete definition

Methods

cosh :: r Source #

sinh :: r Source #

Instances

 Source # Methods Source # Methods Rig r => Hyperbolic (Hyper' r) Source # Methods Rig r => Hyperbolic (Hyper r) Source # Methods Rig r => Hyperbolic (HyperBasis' -> r) Source # Methodscosh :: HyperBasis' -> r Source #sinh :: HyperBasis' -> r Source # Rig r => Hyperbolic (HyperBasis -> r) Source # Methodscosh :: HyperBasis -> r Source #sinh :: HyperBasis -> r Source # Hyperbolic a => Hyperbolic (Covector r a) Source # Methodscosh :: Covector r a Source #sinh :: Covector r a Source #

Constructors

 Cosh' Sinh'

Instances

 Source # Methods Source # Methods Source # Methods Source # Methodsgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HyperBasis' -> c HyperBasis' #gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HyperBasis' #dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c HyperBasis') #dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HyperBasis') #gmapT :: (forall b. Data b => b -> b) -> HyperBasis' -> HyperBasis' #gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HyperBasis' -> r #gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HyperBasis' -> r #gmapQ :: (forall d. Data d => d -> u) -> HyperBasis' -> [u] #gmapQi :: Int -> (forall d. Data d => d -> u) -> HyperBasis' -> u #gmapM :: Monad m => (forall d. Data d => d -> m d) -> HyperBasis' -> m HyperBasis' #gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HyperBasis' -> m HyperBasis' #gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HyperBasis' -> m HyperBasis' # Source # Methods Source # Methods Source # MethodsshowList :: [HyperBasis'] -> ShowS # Source # Methodsrange :: (HyperBasis', HyperBasis') -> [HyperBasis'] #index :: (HyperBasis', HyperBasis') -> HyperBasis' -> Int #rangeSize :: (HyperBasis', HyperBasis') -> Int # Source # Methods Source # Methodslocal :: (HyperBasis' -> HyperBasis') -> Hyper' a -> Hyper' a #reader :: (HyperBasis' -> a) -> Hyper' a # Source # Methodscomult :: (HyperBasis' -> k) -> HyperBasis' -> HyperBasis' -> k Source # Source # Methodsmult :: (HyperBasis' -> HyperBasis' -> k) -> HyperBasis' -> k Source # Source # Source # Methodscounit :: (HyperBasis' -> k) -> k Source # Source # Methodsunit :: k -> HyperBasis' -> k Source # Source # Methodsantipode :: (HyperBasis' -> k) -> HyperBasis' -> k Source # Source # Methodscoinv :: (HyperBasis' -> k) -> HyperBasis' -> k Source # Source # Methodsinv :: (HyperBasis' -> k) -> HyperBasis' -> k Source # Rig r => Hyperbolic (HyperBasis' -> r) Source # Methodscosh :: HyperBasis' -> r Source #sinh :: HyperBasis' -> r Source #

data Hyper' a Source #

Constructors

 Hyper' a a

Instances