Module

Data.Undefined.NoProblem.Open

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

#CoerceProps Source

class CoerceProps :: RowList Type -> RowList Type -> SList -> Constraintclass CoerceProps (given :: RowList Type) (expected :: RowList Type) (debugPath :: SList) | given -> debugPath

Instances

#CoerceProp Source

class CoerceProp :: Type -> Type -> SList -> Constraintclass CoerceProp (given :: Type) (expected :: Type) (debugPath :: SList) | expected -> debugPath

Check if given type can be coerced safely to the expected one.

Instances

#Coerce Source

class (CoerceProp given expected SNil) <= Coerce given expected 

Still experimenting with the finall API

Instances

#coerce Source

coerce :: forall expected given. Coerce given expected => given -> expected