copilot-0.22: A stream DSL for writing embedded C. Source code Contents Index

Language.Copilot.Examples.Examples

Documentation

fib :: Streams

t1 :: Streams

t2 :: Streams

t3 :: Streams

t4 :: Streams

t5 :: Streams

yy :: Streams

zz :: Streams

xx :: Streams

engine :: Streams

dist :: DistributedStreams

gcd :: Word16 -> Word16 -> Streams

gcd' :: Streams

testCoercions :: Streams

testCoercionsInt :: Streams

testRules :: Streams

i8 :: Streams

trap :: Streams

Produced by Haddock version 2.6.1