Data.Undefined.NoProblem.Closed

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

Instances

• 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 expected (debugPath :: SList) | expected -> debugPath

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

Instances

• 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 b (p :: SList) | a -> b, b -> a

Instances

• TypeEqualsOnPath a a p

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

Instances

• (CoerceProp given expected SNil) => Coerce given expected

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