Enumerate.Function.Types

Documentation

data Jectivity

see "Enumerate.Function.Reify.getJectivityM"

Constructors

Injective

Surjective

Bijective

Instances

Bounded Jectivity

Methods

minBound :: Jectivity

maxBound :: Jectivity

Enum Jectivity

Methods

succ :: Jectivity -> Jectivity

pred :: Jectivity -> Jectivity

toEnum :: Int -> Jectivity

fromEnum :: Jectivity -> Int

enumFrom :: Jectivity -> [Jectivity]

enumFromThen :: Jectivity -> Jectivity -> [Jectivity]

enumFromTo :: Jectivity -> Jectivity -> [Jectivity]

enumFromThenTo :: Jectivity -> Jectivity -> Jectivity -> [Jectivity]

Eq Jectivity

Methods

(==) :: Jectivity -> Jectivity -> Bool

(/=) :: Jectivity -> Jectivity -> Bool

Data Jectivity

Methods

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

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

toConstr :: Jectivity -> Constr

dataTypeOf :: Jectivity -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Jectivity)

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

gmapT :: (forall b. Data b => b -> b) -> Jectivity -> Jectivity

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

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

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

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

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

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

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

Ord Jectivity

Methods

compare :: Jectivity -> Jectivity -> Ordering

(<) :: Jectivity -> Jectivity -> Bool

(<=) :: Jectivity -> Jectivity -> Bool

(>) :: Jectivity -> Jectivity -> Bool

(>=) :: Jectivity -> Jectivity -> Bool

max :: Jectivity -> Jectivity -> Jectivity

min :: Jectivity -> Jectivity -> Jectivity

Read Jectivity

Methods

readsPrec :: Int -> ReadS Jectivity

readList :: ReadS [Jectivity]

readPrec :: ReadPrec Jectivity

readListPrec :: ReadPrec [Jectivity]

Show Jectivity

Methods

showsPrec :: Int -> Jectivity -> ShowS

show :: Jectivity -> String

showList :: [Jectivity] -> ShowS

Ix Jectivity

Methods

range :: (Jectivity, Jectivity) -> [Jectivity]

index :: (Jectivity, Jectivity) -> Jectivity -> Int

unsafeIndex :: (Jectivity, Jectivity) -> Jectivity -> Int

inRange :: (Jectivity, Jectivity) -> Jectivity -> Bool

rangeSize :: (Jectivity, Jectivity) -> Int

unsafeRangeSize :: (Jectivity, Jectivity) -> Int

Generic Jectivity

Associated Types

type Rep Jectivity :: * -> *

Methods

from :: Jectivity -> Rep Jectivity x

to :: Rep Jectivity x -> Jectivity

NFData Jectivity

Methods

rnf :: Jectivity -> ()

Enumerable Jectivity

Methods

enumerated :: [Jectivity]

cardinality :: proxy Jectivity -> Natural

type Rep Jectivity

type Rep Jectivity = D1 (MetaData "Jectivity" "Enumerate.Function.Types" "enumerate-function-0.0.1-5QoArEgJQi6BcghU01ilk1" False) ((:+:) (C1 (MetaCons "Injective" PrefixI False) U1) ((:+:) (C1 (MetaCons "Surjective" PrefixI False) U1) (C1 (MetaCons "Bijective" PrefixI False) U1)))

type Partial a b = forall m. MonadThrow m => a -> m b

a (safely-)partial function. i.e. a function that:

• fails only via the throwM method of MonadThrow
• succeeds only via the return method of Monad

type (-?>) a b = Partial a b