et peut-être annulable Nichée

Question

la difficulté et les valeurs démêlant peut-être nullables dans les domaines suivants:

container <- 
    unsafePartial 
    (fromJust <<< toMaybe 
    <$> DOM.querySelector (DOM.QuerySelector "body") 
    (DOM.htmlDocumentToParentNode document)) 

Ce qui me donne l'erreur suivante:

Could not match type

Maybe

with type

Nullable

while trying to match type Maybe Element
with type Nullable t1
while checking that expression (querySelector (QuerySelector "body"))
(htmlDocumentToParentNode document)
has type t0 (Nullable t1)
in value declaration main

where t0 is an unknown type
t1 is an unknown type

J'ai essayé, mais je ne peux pas trouver mon chemin à travers les différents types utilisés ici (le code est originaire de here)

Answer 1

Je recommanderais de briser un peu.

Commencez avec

do body <- DOM.querySelector (DOM.QuerySelector "body") 
      (DOM.htmlDocumentToParentNode document)) 
    ?whatNext 

Ici, ?whatNext est un trou tapé. Le compilateur vous dira le type inféré du trou, ce qui devrait vous aider à comprendre avec quoi le remplacer.

Notez également que vous pouvez simplifier un peu les choses en appliquant directement unsafePartial à fromJust, pour donner une fonction de type Maybe a -> a.