Module

# Data.Nullable.Safe

- Package
- purescript-nullable-safe
- Repository
- rightfold/purescript-nullable-safe

### #NeverNull Source

`class NeverNull a `

Do not instantiate this class unless your type has a runtime representation
that is never `null`

.

#### Instances

### #mapNullable Source

`mapNullable :: forall b a. NeverNull b => (a -> b) -> Nullable a -> Nullable b`

Change the value inside a `Nullable`

using a function.

### #applyNullable Source

`applyNullable :: forall b a. NeverNull b => Nullable (a -> b) -> Nullable a -> Nullable b`

Change the value inside a `Nullable`

using a function in another
`Nullable`

.

### #pureNullable Source

`pureNullable :: forall a. NeverNull a => a -> Nullable a`

`just`

.

### #bindNullable Source

`bindNullable :: forall b a. NeverNull b => Nullable a -> (a -> Nullable b) -> Nullable b`

Change the value inside a `Nullable`

using a function and flatten.

### #bindNullableFlipped Source

`bindNullableFlipped :: forall b a. NeverNull b => (a -> Nullable b) -> Nullable a -> Nullable b`

### #(?=<<) Source

Operator alias for Data.Nullable.Safe.bindNullableFlipped *(right-associative / precedence 1)*

### #composeKleisliNullable Source

`composeKleisliNullable :: forall c b a. NeverNull c => (a -> Nullable b) -> (b -> Nullable c) -> a -> Nullable c`

Compositional form of `(?>>=)`

.

### #(?>=>) Source

Operator alias for Data.Nullable.Safe.composeKleisliNullable *(right-associative / precedence 1)*

### #composeKleisliNullableFlipped Source

`composeKleisliNullableFlipped :: forall c b a. NeverNull c => (b -> Nullable c) -> (a -> Nullable b) -> a -> Nullable c`

### #(?<=<) Source

Operator alias for Data.Nullable.Safe.composeKleisliNullableFlipped *(right-associative / precedence 1)*

- Modules
- Data.
Nullable. Safe