Language.Copilot.Core

Type hierarchy for the copilot language

type Var

type Name

type Period

type Phase

data Port

data Spec a

type Streams

type Stream a

data Send a

data Trigger

type Triggers

notVarErr

data LangElems

General functions on Streams and StreamableMaps

class Streamable a

mkSend

data StreamableMaps a

emptySM

isEmptySM

getMaybeElem

getElem

foldStreamableMaps

mapStreamableMaps

mapStreamableMapsM

filterStreamableMaps

normalizeVar

getVars

type Vars

data BoundedArray a

nextSt

type Outputs

data TmpSamples

emptyTmpSamples

type ProphArrs

type Indexes

data PhasedValueVar a

data PhasedValueArr a

data PhasedValueIdx a

tmpVarName

tmpArrName

getAtomType

getSpecs

getSends

getTriggers

makeTrigger