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

Safe HaskellSafe
LanguageHaskell2010

Data.Prd.Nan

Synopsis

Documentation

data Nan a Source #

A type with an additional incomparable element allowing for the possibility of undefined values. Isomorphic to Maybe a but with a different Prd instance.

Constructors

Nan 
Def a 
Instances
Functor Nan Source # 
Instance details

Defined in Data.Prd.Nan

Methods

fmap :: (a -> b) -> Nan a -> Nan b #

(<$) :: a -> Nan b -> Nan a #

Applicative Nan Source # 
Instance details

Defined in Data.Prd.Nan

Methods

pure :: a -> Nan a #

(<*>) :: Nan (a -> b) -> Nan a -> Nan b #

liftA2 :: (a -> b -> c) -> Nan a -> Nan b -> Nan c #

(*>) :: Nan a -> Nan b -> Nan b #

(<*) :: Nan a -> Nan b -> Nan a #

Foldable Nan Source # 
Instance details

Defined in Data.Prd.Nan

Methods

fold :: Monoid m => Nan m -> m #

foldMap :: Monoid m => (a -> m) -> Nan a -> m #

foldr :: (a -> b -> b) -> b -> Nan a -> b #

foldr' :: (a -> b -> b) -> b -> Nan a -> b #

foldl :: (b -> a -> b) -> b -> Nan a -> b #

foldl' :: (b -> a -> b) -> b -> Nan a -> b #

foldr1 :: (a -> a -> a) -> Nan a -> a #

foldl1 :: (a -> a -> a) -> Nan a -> a #

toList :: Nan a -> [a] #

null :: Nan a -> Bool #

length :: Nan a -> Int #

elem :: Eq a => a -> Nan a -> Bool #

maximum :: Ord a => Nan a -> a #

minimum :: Ord a => Nan a -> a #

sum :: Num a => Nan a -> a #

product :: Num a => Nan a -> a #

Traversable Nan Source # 
Instance details

Defined in Data.Prd.Nan

Methods

traverse :: Applicative f => (a -> f b) -> Nan a -> f (Nan b) #

sequenceA :: Applicative f => Nan (f a) -> f (Nan a) #

mapM :: Monad m => (a -> m b) -> Nan a -> m (Nan b) #

sequence :: Monad m => Nan (m a) -> m (Nan a) #

TripRatio Integer (Nan Ordering) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Integer (Extended Int8) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Integer (Extended Int16) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Integer (Extended Int32) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Integer (Extended Int64) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Integer (Extended Integer) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Natural (Lifted Natural) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Natural (Lifted Word8) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Natural (Lifted Word16) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Natural (Lifted Word32) Source # 
Instance details

Defined in Data.Connection.Ratio

TripRatio Natural (Lifted Word64) Source # 
Instance details

Defined in Data.Connection.Ratio

Show a => Show (Nan a) Source # 
Instance details

Defined in Data.Prd.Nan

Methods

showsPrec :: Int -> Nan a -> ShowS #

show :: Nan a -> String #

showList :: [Nan a] -> ShowS #

Generic (Nan a) Source # 
Instance details

Defined in Data.Prd.Nan

Associated Types

type Rep (Nan a) :: Type -> Type #

Methods

from :: Nan a -> Rep (Nan a) x #

to :: Rep (Nan a) x -> Nan a #

(Additive - Semigroup) a => Semigroup (Additive (Nan a)) Source # 
Instance details

Defined in Data.Prd.Nan

Methods

(<>) :: Additive (Nan a) -> Additive (Nan a) -> Additive (Nan a) #

sconcat :: NonEmpty (Additive (Nan a)) -> Additive (Nan a) #

stimes :: Integral b => b -> Additive (Nan a) -> Additive (Nan a) #

(Multiplicative - Semigroup) a => Semigroup (Multiplicative (Nan a)) Source # 
Instance details

Defined in Data.Prd.Nan

(Additive - Monoid) a => Monoid (Additive (Nan a)) Source # 
Instance details

Defined in Data.Prd.Nan

Methods

mempty :: Additive (Nan a) #

mappend :: Additive (Nan a) -> Additive (Nan a) -> Additive (Nan a) #

mconcat :: [Additive (Nan a)] -> Additive (Nan a) #

(Multiplicative - Monoid) a => Monoid (Multiplicative (Nan a)) Source # 
Instance details

Defined in Data.Prd.Nan

Presemiring a => Presemiring (Nan a) Source # 
Instance details

Defined in Data.Prd.Nan

Prd a => Prd (Nan a) Source # 
Instance details

Defined in Data.Prd.Nan

Methods

(<=) :: Nan a -> Nan a -> Bool Source #

(>=) :: Nan a -> Nan a -> Bool Source #

(<) :: Nan a -> Nan a -> Bool Source #

(>) :: Nan a -> Nan a -> Bool Source #

(?~) :: Nan a -> Nan a -> Bool Source #

(=~) :: Nan a -> Nan a -> Bool Source #

(/~) :: Nan a -> Nan a -> Bool Source #

(~~) :: Nan a -> Nan a -> Bool Source #

(!~) :: Nan a -> Nan a -> Bool Source #

pcompare :: Nan a -> Nan a -> Maybe Ordering Source #

Generic1 Nan Source # 
Instance details

Defined in Data.Prd.Nan

Associated Types

type Rep1 Nan :: k -> Type #

Methods

from1 :: Nan a -> Rep1 Nan a #

to1 :: Rep1 Nan a -> Nan a #

type Rep (Nan a) Source # 
Instance details

Defined in Data.Prd.Nan

type Rep (Nan a) = D1 (MetaData "Nan" "Data.Prd.Nan" "connections-0.0.3-DlJXNVSUPF02JVkbDQVocy" False) (C1 (MetaCons "Nan" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Def" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))
type Rep1 Nan Source # 
Instance details

Defined in Data.Prd.Nan

type Rep1 Nan = D1 (MetaData "Nan" "Data.Prd.Nan" "connections-0.0.3-DlJXNVSUPF02JVkbDQVocy" False) (C1 (MetaCons "Nan" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Def" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

nan :: b -> (a -> b) -> Nan a -> b Source #

nan' :: Semifield b => (a -> b) -> Nan a -> b Source #

mapNan :: (a -> b) -> Nan a -> Nan b Source #

joinNan :: Nan (Nan a) -> Nan a Source #

liftNan :: Prd a => Semifield a => (a -> b) -> a -> Nan b Source #

liftAll :: (RealFloat a, Prd a, Bound b) => (a -> b) -> a -> Nan b Source #

isInf :: (RealFloat a, Prd a) => a -> Bool Source #

defnan :: Prd a => Prd b => Conn a b -> Conn (Nan a) (Nan b) Source #

defnan' :: Prd a => Prd b => Trip a b -> Trip (Nan a) (Nan b) Source #

fldord :: Prd a => Field a => Trip a (Nan Ordering) Source #