semantically-bind-types

c2.txt

semantically-bind-types c2.v vec2
    inline "conv-to" (self)
        vec2 self.x self.y
    inline "conv-from" (other)
        c2.v (unpack other)

tbind.txt

inline semantically-bind-types (T1 T2 implyf rimplyf)
    typedef+ T1
        inline gen-op (op)
            inline (lhsT rhsT)
                static-if (lhsT == this-type)
                    inline (a b)
                        op (imply a T2) b
                elseif (rhsT == this-type)
                    inline (a b)
                        op a (imply b T2)

        inline __imply (selfT otherT)
            static-if (otherT == T2)
                implyf

        inline __rimply (otherT selfT)
            inline (other)
                rimplyf (imply other T2)

        let __+ = (gen-op +)
        let __- = (gen-op -)
        let __* = (gen-op *)
        let __/ = (gen-op /)
        let __// = (gen-op //)

        inline __repr (self)
            .. (repr (imply self T2))
                default-styler style-operator ":"
                default-styler style-type (tostring this-type)

        unlet gen-op