Module

Data.Undefined.NoProblem

Package
purescript-undefined-is-not-a-problem
Repository
paluh/purescript-undefined-is-not-a-problem

#Opt Source

data Opt :: Type -> Type

Instances

#undefined Source

undefined :: forall a. Opt a

#opt Source

opt :: forall a. a -> Opt a

#fromOpt Source

fromOpt :: forall a. a -> Opt a -> a

Let's be consistent with fromMaybe args order here

#fromOptFlipped Source

fromOptFlipped :: forall a. Opt a -> a -> a

#(!) Source

Operator alias for Data.Undefined.NoProblem.fromOptFlipped (left-associative / precedence 9)

#toMaybe Source

toMaybe :: forall a. Opt a -> Maybe a

#isUndefined Source

isUndefined :: forall a. Opt a -> Boolean

#unsafeUnwrap Source

unsafeUnwrap :: forall a. Opt a -> a

#pseudoBind Source

pseudoBind :: forall a b. Opt a -> (a -> Opt b) -> Opt b

This is not dedicated for providing bind. We are not able to have Monad here.

It is only to provide nice operator: (coerce {}) ? .a ? .b ? _.c.d ! "default"

#(?) Source

Operator alias for Data.Undefined.NoProblem.pseudoBind (left-associative / precedence 9)

#pseudoMap Source

pseudoMap :: forall a b. (a -> b) -> Opt a -> Opt b

#type (<>) Source

Operator alias for Prim.TypeError.Beside (right-associative / precedence 2)

Ripped from typelevel-eval

#type (|>) Source

Operator alias for Prim.TypeError.Above (right-associative / precedence 1)

#SList Source

data SList

Ripped from record-extra

#SCons Source

data SCons :: Symbol -> SList -> SList

Instances

#type (:::) Source

Operator alias for Data.Undefined.NoProblem.SCons (right-associative / precedence 6)

#RenderPath Source

class RenderPath (path :: SList) (render :: Doc) | path -> render

Instances

#TypeMismatchErr Source

class TypeMismatchErr (given :: Type) (expected :: Type) (path :: SList) (msg :: Doc) | path expected given -> msg

Instances

Modules
Data.Undefined.NoProblem
Data.Undefined.NoProblem.Closed
Data.Undefined.NoProblem.Open