Module

Data.Undefined.NoProblem.Closed

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

CoerceProps Nil Nil any
(CoerceProp a b (SCons n debugPath), CoerceProps t t' debugPath) => CoerceProps (Cons n a t) (Cons n b t') debugPath
(CoerceProps t t' debugPath) => CoerceProps t (Cons n (Opt a) t') debugPath
(RenderPath p p', Fail (Above (Beside (Text "Field mismatch on the path ") p') (Above (Text "") (Above (Beside (Text " * Maybe you have provided an extra field: ") (Beside (QuoteLabel n) (Text " ?"))) (Above (Text "") (Beside (Text " * Maybe you have skipped required field: ") (Beside (QuoteLabel m) (Text " ?")))))))) => CoerceProps (Cons n b y) (Cons m a x) p
(RenderPath (SCons n p) p', Fail (Above (Beside (Text "Missing required field: ") (QuoteLabel n)) (Above (Text "") (Beside (Text "The full path is: ") p')))) => CoerceProps Nil (Cons n a t) p
(RenderPath p p', Fail (Above (Beside (Text "Unexpected field provided: ") (QuoteLabel n)) (Beside (Text "The full path is: ") p'))) => CoerceProps (Cons n a t) Nil p

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

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

CoerceProp a a p
(CoerceProp a b p) => CoerceProp (Opt a) (Opt b) p
(CoerceProp a b p) => CoerceProp a (Opt b) p
(RowToList e el, RowToList g gl, CoerceProps gl el p) => CoerceProp (Record g) (Record e) p
(CoerceProp a b (SCons "Array" p)) => CoerceProp (Array a) (Array b) p
(CoerceProp a b (SCons "Maybe" p)) => CoerceProp (Maybe a) (Maybe b) p
(CoerceProp a1 b1 (SCons "Either.Left" p), CoerceProp a2 b2 (SCons "Either.Right" p)) => CoerceProp (Either a1 a2) (Either b1 b2) p
(CoerceProp a1 b1 (SCons "Tuple.fst" p), CoerceProp a2 b2 (SCons "Tuple.snd" p)) => CoerceProp (Tuple a1 a2) (Tuple b1 b2) p
(CoerceProp a b (SCons "Effect" p)) => CoerceProp (Effect a) (Effect b) p
(TypeEqualsOnPath a b p) => CoerceProp a b p

class TypeEqualsOnPath (a :: Type) (b :: Type) (p :: SList) | a -> b, b -> a

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

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