@@ -84,6 +84,9 @@ infixr 9 ==>
84(==>) :: Type -> Type -> Type
84(==>) :: Type -> Type -> Type
85a ==> b = TermN (Fun1 a b)
85a ==> b = TermN (Fun1 a b)
87+f <| a = TermN (App1 f a)
87namedVar name = UF.fresh $ Descriptor {
90namedVar name = UF.fresh $ Descriptor {
88 structure = Nothing,
91 structure = Nothing,
89 rank = noRank,
92 rank = noRank,
@@ -124,6 +127,7 @@ exists f = do
124 v <- flexibleVar
127 v <- flexibleVar
125 ex [v] <$> f (VarN v)
128 ex [v] <$> f (VarN v)
127instance Show a => Show (UF.Point a) where
131instance Show a => Show (UF.Point a) where
128 show point = unsafePerformIO $ fmap show (UF.descriptor point)
132 show point = unsafePerformIO $ fmap show (UF.descriptor point)