úÎ}e     Safe+,9:;<=DOQRT !"#$%&' !"#$%&' !"#$%&'Safe+,9:;<=DOQRT(SMarks that there is no legal path between the two types according to the rulebase. )*+,-./(01234 )*+,-./(01234 )*+,-./(01234Safe*+,9:;<=DOQRT 5?Transforms the path from the generic format to the specific one6ETransforms a path element from the generic format to the specific one7<Checks if the path is found to provide usable error messages87This class extracts a given morph from the set of rules9pThis class provides a way to construct the value-level transformations from the type-level path and a rulebase.A generalized version of [. Can work on different rulesets, so this should be used if the ruleset is to be extended. States that m1 can be represented with m2. That is because m2 contains more infromation than m1.The MMorph0 relation defines a natural transformation from m1 to m2 that keeps the following laws: Hmorph (return x) = return x morph (m >>= f) = morph m >>= morph . f*It is a reflexive and transitive relation.&Lifts the first monad into the second.:&Lifts the first monad into the second..;56<=>?@ABCDE78F9GHIJKLMNO: $;56<=>?@ABCDE78F9GHIJKLMNO: K6L6P      !"#$%&'()*+,-./0123456789:;<=>?@@AABBCCDDEFGHHIIJKLM/instance-control-0.1.2.0-EHpxjjIfGvn8KeL9SkCflsControl.Instances.Morph"Control.Instances.TypeLevelPreludeControl.Instances.ShortestPathDBGenMorphMorphmorphdb $fCorrectPathTYPEkkfromtoNoMorph$fCorrectPathTYPEkkfromto:+:$fHasMorph:+:m$fHasMorph:+:m0$fHasMorph:+:ConnectMorph$fHasMorph:+:ConnectMorph0$fGeneratableMorphdb:+:$fGeneratableMorphdb:+:0$fGeneratableMorphdb:+:1$fGeneratableMorphdbNoMorph$fMorph'kNoMorphxx$fMorph'k:+:mProxy$fMorph'TYPE:+:Identityx$fMorph'k:+:xzCatFromJustIsJustIfJust IfThenJustRevert AppendJust MapAppendNullSame FromMaybe HeadMaybeHeadLength IfThenElseElem:++:IterateLazyIfThenElseSeqConst NoPathFound MonomorphEnd ApplyEdge ApplyEdges InitCurrent GetFinished ShortestPath' ShortestPath Connect_MU Connect_id Connect_mt Connect_2mConnect TransformPath TranslateConn CorrectPathHasMorphGeneratableMorphgenMorph PathFromListMUMorph IdentityMorphConnectMorph_mtConnectMorph_2m ConnectMorphgetMorph generateMorph ToMorphRepoNoMorph:+:Morph'reprPath