1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
-- Copyright © 2019 National Institute of Aerospace / Galois, Inc.
-- | This is a simple example for arrays. As a program, it does not make much
-- sense, however it shows of the features of arrays nicely.
-- | Enable compiler extension for type-level data, necesary for the array
-- length.
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE RebindableSyntax #-}
module Main where
import Language.Copilot
-- Lets define an array of length 2.
-- Make the buffer of the streams 3 elements long.
arr :: Stream (Array 2 Bool)
arr = [ array [True, False]
, array [True, True]
, array [False, False]] ++ arr
spec :: Spec
spec = do
-- A trigger that fires 'func' when the first element of 'arr' is True.
-- It passes the current value of arr as an argument.
-- The prototype of 'func' would be:
-- void func (int8_t arg[3]);
trigger "func" (arr ! 0) [arg arr]
-- A trigger that fires 'func2' every time.
-- It passes the current value of arr as an argument, but updating the first
-- element of the array to always be True.
-- The prototype of 'func2' would be:
-- void func2 (int8_t arg[3]);
trigger "func2" true [arg (arr !! 0 =: true)]
-- A trigger that fires 'func2' every time.
-- It passes the current value of arr as an argument, but negating the second
-- element of the array.
-- The prototype of 'func3' would be:
-- void func3 (int8_t arg[3]);
trigger "func3" true [arg (arr !! 1 =$ not)]
-- Compile the spec
main :: IO ()
main = interpret 30 spec
|
