impc:ti:unity?   scheme

Defined in:  https://github.com/digego/extempore/tree/v0.8.9/runtime/llvmti.xtm

Implementation
;; checks to see if a type system is completely unified
(define impc:ti:unity?
  (lambda (vars)
    (map (lambda (x)
           (if (impc:ir:type? (cdr x)) #t #f))
         vars)))


Back to Index


About

Extempore is a programming language for musical livecoding and algorithmic composition. If you're new to Extempore, YouTube has many videos that show it in action.

This website makes it easier to explore Extempore's functions definitions. There are two main sections:

  • Core Release: functions that are part of the latest official Extempore GitHub release.
  • Extensions: functions part of a custom library that I have created over the years. Rather opinionated, but possibly useful to others too. Also available on GitHub.

    • This website

    The source code for the extractor and this website is written in Python and is also available on GitHub.

    This project was created by Michele Pasin.