connections-0.0.3: Partial orders, Galois connections, and lattices.

Safe HaskellNone
LanguageHaskell2010

Data.Float.Unit

Contents

Synopsis

Unit

data Unit Source #

A Double in the interval \( [0,1] \).

Instances
Data Unit Source # 
Instance details

Defined in Data.Float.Unit

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Unit -> c Unit #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Unit #

toConstr :: Unit -> Constr #

dataTypeOf :: Unit -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Unit) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Unit) #

gmapT :: (forall b. Data b => b -> b) -> Unit -> Unit #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unit -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unit -> r #

gmapQ :: (forall d. Data d => d -> u) -> Unit -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Unit -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unit -> m Unit #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unit -> m Unit #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unit -> m Unit #

Show Unit Source # 
Instance details

Defined in Data.Float.Unit

Methods

showsPrec :: Int -> Unit -> ShowS #

show :: Unit -> String #

showList :: [Unit] -> ShowS #

Maximal Unit Source # 
Instance details

Defined in Data.Float.Unit

Methods

maximal :: Unit Source #

Minimal Unit Source # 
Instance details

Defined in Data.Float.Unit

Methods

minimal :: Unit Source #

Prd Unit Source # 
Instance details

Defined in Data.Float.Unit

unt :: QuasiQuoter Source #

A quasiquoter for safely constructing a Unit from a constant.

>>> [unt|1.0|]
Unit {unUnit = 1.0}

unit :: N5 Double -> Bottom Unit Source #

Monotone Unit constructor.

Clips inputs greater than 1 and maps NaN to Nothing.

unit' :: Double -> Unit Source #

Unit constructor.

Clips inputs outside of the interval \( [0,1] \).

Caution due to NaNs this is not a monotone map.

untf64 :: Conn (Bottom Unit) (N5 Double) Source #

A Unit \(\dashv\) Double connection.

Clips inputs greater than 1 and maps NaN to Nothing.

cmpl :: Unit -> Unit Source #

Unit complement.

Biunit

data Biunit Source #

A Double in the interval \( [-1,1] \).

Instances
Data Biunit Source # 
Instance details

Defined in Data.Float.Unit

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Biunit -> c Biunit #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Biunit #

toConstr :: Biunit -> Constr #

dataTypeOf :: Biunit -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Biunit) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Biunit) #

gmapT :: (forall b. Data b => b -> b) -> Biunit -> Biunit #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Biunit -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Biunit -> r #

gmapQ :: (forall d. Data d => d -> u) -> Biunit -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Biunit -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Biunit -> m Biunit #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Biunit -> m Biunit #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Biunit -> m Biunit #

Show Biunit Source # 
Instance details

Defined in Data.Float.Unit

Presemiring Biunit Source # 
Instance details

Defined in Data.Float.Unit

Semiring Biunit Source # 
Instance details

Defined in Data.Float.Unit

Ring Biunit Source # 
Instance details

Defined in Data.Float.Unit

Maximal Biunit Source # 
Instance details

Defined in Data.Float.Unit

Minimal Biunit Source # 
Instance details

Defined in Data.Float.Unit

Prd Biunit Source # 
Instance details

Defined in Data.Float.Unit

Semigroup (Additive Biunit) Source # 
Instance details

Defined in Data.Float.Unit

Semigroup (Multiplicative Biunit) Source # 
Instance details

Defined in Data.Float.Unit

Monoid (Additive Biunit) Source # 
Instance details

Defined in Data.Float.Unit

Monoid (Multiplicative Biunit) Source # 
Instance details

Defined in Data.Float.Unit

Group (Additive Biunit) Source # 
Instance details

Defined in Data.Float.Unit

Quasigroup (Additive Biunit) Source # 
Instance details

Defined in Data.Float.Unit

Loop (Additive Biunit) Source # 
Instance details

Defined in Data.Float.Unit

Magma (Additive Biunit) Source # 
Instance details

Defined in Data.Float.Unit

bnt :: QuasiQuoter Source #

A quasiquoter for safely constructing a Biunit from a constant.

>>> [bnt|1.0|]
Biunit {unBiunit = 1.0}

biunit :: N5 Double -> Bottom Biunit Source #

Monotone Biunit constructor.

biunit' :: Double -> Biunit Source #

Biunit constructor.

Clips inputs outside of the interval \( [-1,1] \).

Caution due to NaNs this is not a monotone map.

bntf64 :: Conn (Bottom Biunit) (N5 Double) Source #

A Biunit \(\dashv\) Double connection.

Clips inputs greater than 1 and maps NaN to Nothing.