Data.Prd.Nan

Documentation

data Nan a

A type with an additional incomparable element allowing for the possibility of undefined values.

Constructors

Nan

Def a

Instances

Functor Nan

Defined in Data.Prd.Nan

Methods

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

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

Applicative Nan

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

Triple Double (Extended Int8)

Defined in Data.Connection

Methods

triple :: Trip Double (Extended Int8)

Triple Double (Extended Int16)

Defined in Data.Connection

Methods

triple :: Trip Double (Extended Int16)

Triple Double (Extended Int32)

Defined in Data.Connection

Methods

triple :: Trip Double (Extended Int32)

Triple Float (Extended Int8)

Defined in Data.Connection

Methods

triple :: Trip Float (Extended Int8)

Triple Float (Extended Int16)

Defined in Data.Connection

Methods

triple :: Trip Float (Extended Int16)

Triple Rational (Nan Ordering)

Defined in Data.Connection

Methods

triple :: Trip Rational (Nan Ordering)

Triple Rational (Extended Int8)

Defined in Data.Connection

Methods

triple :: Trip Rational (Extended Int8)

Triple Rational (Extended Int16)

Defined in Data.Connection

Methods

triple :: Trip Rational (Extended Int16)

Triple Rational (Extended Int32)

Defined in Data.Connection

Methods

triple :: Trip Rational (Extended Int32)

Triple Rational (Extended Int64)

Defined in Data.Connection

Methods

triple :: Trip Rational (Extended Int64)

Triple Rational (Extended Integer)

Defined in Data.Connection

Methods

triple :: Trip Rational (Extended Integer)

Triple Positive (Lifted Natural)

Defined in Data.Connection

Methods

triple :: Trip Positive (Lifted Natural)

Triple Positive (Lifted Word8)

Defined in Data.Connection

Methods

triple :: Trip Positive (Lifted Word8)

Triple Positive (Lifted Word16)

Defined in Data.Connection

Methods

triple :: Trip Positive (Lifted Word16)

Triple Positive (Lifted Word32)

Defined in Data.Connection

Methods

triple :: Trip Positive (Lifted Word32)

Triple Positive (Lifted Word64)

Defined in Data.Connection

Methods

triple :: Trip Positive (Lifted Word64)

Connection Double (Nan Int)

Defined in Data.Connection

Methods

connection :: Conn Double (Nan Int)

Connection Double (Nan Int64)

Defined in Data.Connection

Methods

connection :: Conn Double (Nan Int64)

Connection Float (Nan Int32)

Defined in Data.Connection

Methods

connection :: Conn Float (Nan Int32)

Show a => Show (Nan a)

Defined in Data.Prd.Nan

Methods

showsPrec :: Int -> Nan a -> ShowS

show :: Nan a -> String

showList :: [Nan a] -> ShowS

Generic (Nan a)

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

Prd a => Prd (Nan a)

Defined in Data.Prd.Nan

Methods

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

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

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

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

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

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

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

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

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

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

Generic1 Nan

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

Connection (Nan Int) Double

Defined in Data.Connection

Methods

connection :: Conn (Nan Int) Double

Connection (Nan Int32) Float

Defined in Data.Connection

Methods

connection :: Conn (Nan Int32) Float

Connection (Nan Int64) Double

Defined in Data.Connection

Methods

connection :: Conn (Nan Int64) Double

Connection a b => Connection (Nan a) (Nan b)

Defined in Data.Connection

Methods

connection :: Conn (Nan a) (Nan b)

Connection a b => Connection (Extended a) (Extended b)

Defined in Data.Connection

Methods

connection :: Conn (Extended a) (Extended b)

type Rep (Nan a)

Defined in Data.Prd.Nan

type Rep (Nan a) = D1 (MetaData "Nan" "Data.Prd.Nan" "connections-0.1.0-ICZ79hH9J5S6hHwlSGyIo2" 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

Defined in Data.Prd.Nan

type Rep1 Nan = D1 (MetaData "Nan" "Data.Prd.Nan" "connections-0.1.0-ICZ79hH9J5S6hHwlSGyIo2" 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

nanf :: Floating b => (a -> b) -> Nan a -> b

nanr :: Integral b => (a -> Ratio b) -> Nan a -> Ratio b

An exception-safe version of nanf for rationals.

isDef :: Nan a -> Bool

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

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

liftNan :: Prd a => Floating a => (a -> b) -> a -> Nan b