{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}

module Sketch.FRP.Copilot.Types where

import Language.Copilot
import Control.Monad.Writer
import Control.Monad.State.Strict
import qualified Data.Map as M
import qualified Data.Set as S
import Data.Type.Bool
import GHC.TypeLits

-- | A value that changes over time.
--
-- This is implemented as a `Stream` in the Copilot DSL.
-- Copilot provides many operations on streams, for example
-- `Language.Copilot.&&` to combine two streams of Bools.
-- 
-- For documentation on using the Copilot DSL, see
-- <https://copilot-language.github.io/>
type Behavior t = Stream t

-- | A Behavior with an additional phantom type `p`.
--
-- The Compilot DSL only lets a Stream contain basic C types,
-- a limitation that `Behavior` also has. When more type safely
-- is needed, this can be used.
data TypedBehavior p t = TypedBehavior (Behavior t)

-- | A discrete event, that occurs at particular points in time.
data Event p v = Event v (Stream Bool)

-- | A sketch, implemented using Copilot.
--
-- It's best to think of the `Sketch` as a description of the state of the
-- board at any point in time.
--
-- Under the hood, the `Sketch` is run in a loop. On each iteration, it first
-- reads inputs and then updates outputs as needed.
--
-- While it is a monad, a Sketch's outputs are not updated in any
-- particular order, because Copilot does not guarantee any order.
--
-- This is a generalized Sketch that can operate on any type of pinid.
newtype GenSketch pinid t = GenSketch (WriterT [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)] (State UniqueIds) t)
	deriving 
		( Applicative (GenSketch pinid)
a -> GenSketch pinid a
Applicative (GenSketch pinid)
-> (forall a b.
    GenSketch pinid a -> (a -> GenSketch pinid b) -> GenSketch pinid b)
-> (forall a b.
    GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b)
-> (forall a. a -> GenSketch pinid a)
-> Monad (GenSketch pinid)
GenSketch pinid a -> (a -> GenSketch pinid b) -> GenSketch pinid b
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
forall pinid. Applicative (GenSketch pinid)
forall a. a -> GenSketch pinid a
forall pinid a. a -> GenSketch pinid a
forall a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
forall a b.
GenSketch pinid a -> (a -> GenSketch pinid b) -> GenSketch pinid b
forall pinid a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
forall pinid a b.
GenSketch pinid a -> (a -> GenSketch pinid b) -> GenSketch pinid b
forall (m :: * -> *).
Applicative m
-> (forall a b. m a -> (a -> m b) -> m b)
-> (forall a b. m a -> m b -> m b)
-> (forall a. a -> m a)
-> Monad m
return :: a -> GenSketch pinid a
$creturn :: forall pinid a. a -> GenSketch pinid a
>> :: GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
$c>> :: forall pinid a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
>>= :: GenSketch pinid a -> (a -> GenSketch pinid b) -> GenSketch pinid b
$c>>= :: forall pinid a b.
GenSketch pinid a -> (a -> GenSketch pinid b) -> GenSketch pinid b
$cp1Monad :: forall pinid. Applicative (GenSketch pinid)
Monad
		, Functor (GenSketch pinid)
a -> GenSketch pinid a
Functor (GenSketch pinid)
-> (forall a. a -> GenSketch pinid a)
-> (forall a b.
    GenSketch pinid (a -> b) -> GenSketch pinid a -> GenSketch pinid b)
-> (forall a b c.
    (a -> b -> c)
    -> GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid c)
-> (forall a b.
    GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b)
-> (forall a b.
    GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid a)
-> Applicative (GenSketch pinid)
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid a
GenSketch pinid (a -> b) -> GenSketch pinid a -> GenSketch pinid b
(a -> b -> c)
-> GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid c
forall pinid. Functor (GenSketch pinid)
forall a. a -> GenSketch pinid a
forall pinid a. a -> GenSketch pinid a
forall a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid a
forall a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
forall a b.
GenSketch pinid (a -> b) -> GenSketch pinid a -> GenSketch pinid b
forall pinid a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid a
forall pinid a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
forall pinid a b.
GenSketch pinid (a -> b) -> GenSketch pinid a -> GenSketch pinid b
forall a b c.
(a -> b -> c)
-> GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid c
forall pinid a b c.
(a -> b -> c)
-> GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid c
forall (f :: * -> *).
Functor f
-> (forall a. a -> f a)
-> (forall a b. f (a -> b) -> f a -> f b)
-> (forall a b c. (a -> b -> c) -> f a -> f b -> f c)
-> (forall a b. f a -> f b -> f b)
-> (forall a b. f a -> f b -> f a)
-> Applicative f
<* :: GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid a
$c<* :: forall pinid a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid a
*> :: GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
$c*> :: forall pinid a b.
GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid b
liftA2 :: (a -> b -> c)
-> GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid c
$cliftA2 :: forall pinid a b c.
(a -> b -> c)
-> GenSketch pinid a -> GenSketch pinid b -> GenSketch pinid c
<*> :: GenSketch pinid (a -> b) -> GenSketch pinid a -> GenSketch pinid b
$c<*> :: forall pinid a b.
GenSketch pinid (a -> b) -> GenSketch pinid a -> GenSketch pinid b
pure :: a -> GenSketch pinid a
$cpure :: forall pinid a. a -> GenSketch pinid a
$cp1Applicative :: forall pinid. Functor (GenSketch pinid)
Applicative
		, a -> GenSketch pinid b -> GenSketch pinid a
(a -> b) -> GenSketch pinid a -> GenSketch pinid b
(forall a b. (a -> b) -> GenSketch pinid a -> GenSketch pinid b)
-> (forall a b. a -> GenSketch pinid b -> GenSketch pinid a)
-> Functor (GenSketch pinid)
forall a b. a -> GenSketch pinid b -> GenSketch pinid a
forall a b. (a -> b) -> GenSketch pinid a -> GenSketch pinid b
forall pinid a b. a -> GenSketch pinid b -> GenSketch pinid a
forall pinid a b.
(a -> b) -> GenSketch pinid a -> GenSketch pinid b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: a -> GenSketch pinid b -> GenSketch pinid a
$c<$ :: forall pinid a b. a -> GenSketch pinid b -> GenSketch pinid a
fmap :: (a -> b) -> GenSketch pinid a -> GenSketch pinid b
$cfmap :: forall pinid a b.
(a -> b) -> GenSketch pinid a -> GenSketch pinid b
Functor
		, MonadWriter [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
		, MonadState UniqueIds
		)

instance Monoid (GenSketch pinid ()) where
	mempty :: GenSketch pinid ()
mempty = WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  ()
-> GenSketch pinid ()
forall pinid t.
WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  t
-> GenSketch pinid t
GenSketch (()
-> WriterT
     [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
     (State UniqueIds)
     ()
forall (m :: * -> *) a. Monad m => a -> m a
return ())

instance Semigroup (GenSketch pinid t) where
	(GenSketch WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  t
a) <> :: GenSketch pinid t -> GenSketch pinid t -> GenSketch pinid t
<> (GenSketch WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  t
b) = WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  t
-> GenSketch pinid t
forall pinid t.
WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  t
-> GenSketch pinid t
GenSketch (WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  t
a WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  t
-> WriterT
     [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
     (State UniqueIds)
     t
-> WriterT
     [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
     (State UniqueIds)
     t
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> WriterT
  [(TriggerLimit -> Spec, TriggerLimit -> GenFramework pinid)]
  (State UniqueIds)
  t
b)

-- | Things that can have a `Behavior` or `Event` output to them.
class Output pinid o t where
	(=:) :: o -> t -> GenSketch pinid ()
	-- ^ Connect a `Behavior` or `Event` to an `Output`
	-- 
	-- > led =: blinking
	-- 
	-- When a `Behavior` is used, its current value is written on each
	-- iteration of the `Sketch`. 
	-- 
	-- For example, this constantly turns on the LED, even though it will
	-- already be on after the first iteration, because `true`
	-- is a `Behavior` (that is always True).
	-- 
	-- > led =: true
	-- 
	-- To avoid unncessary work being done, you can use an `Event`
	-- instead. Then the write only happens at the points in time
	-- when the `Event` occurs. To turn a `Behavior` into an `Event`,
	-- use `@:`
	-- 
	-- So to make the LED only be turned on in the first iteration,
	-- and allow it to remain on thereafter without doing extra work:
	-- 
	-- > led =: true @: firstIteration

-- Same fixity as =<<
infixr 1 =:

instance Output pinid o (Event () (Stream v)) => Output pinid o (Behavior v) where
	=: :: o -> Behavior v -> GenSketch pinid ()
(=:) o
o Behavior v
b = o
o o -> Event () (Behavior v) -> GenSketch pinid ()
forall pinid o t. Output pinid o t => o -> t -> GenSketch pinid ()
=: Event () (Behavior v)
te
	  where
	  	te :: Event () (Stream v)
		te :: Event () (Behavior v)
te = Behavior v -> Stream Bool -> Event () (Behavior v)
forall k (p :: k) v. v -> Stream Bool -> Event p v
Event Behavior v
b Stream Bool
true

instance Output pinid o (Event p (Stream v)) => Output pinid o (TypedBehavior p v) where
	=: :: o -> TypedBehavior p v -> GenSketch pinid ()
(=:) o
o (TypedBehavior Stream v
b) = o
o o -> Event p (Stream v) -> GenSketch pinid ()
forall pinid o t. Output pinid o t => o -> t -> GenSketch pinid ()
=: Event p (Stream v)
te
	  where
		te :: Event p (Stream v)
		te :: Event p (Stream v)
te = Stream v -> Stream Bool -> Event p (Stream v)
forall k (p :: k) v. v -> Stream Bool -> Event p v
Event Stream v
b Stream Bool
true

class Input pinid o t where
	-- | The list is input to use when simulating the Sketch.
	input' :: o -> [t] -> GenSketch pinid (Behavior t)

-- | The framework of a sketch.
--
-- This is a generalized Framework that can operate on any type of pinid.
data GenFramework pinid = Framework
	{ GenFramework pinid -> [CChunk]
defines :: [CChunk]
	-- ^ Things that come before the C code generated by Copilot.
	, GenFramework pinid -> [CChunk]
setups :: [CChunk]
	-- ^ Things to do at setup, not including configuring pins.
	, GenFramework pinid -> [CChunk]
earlySetups :: [CChunk]
	-- ^ Things to do at setup, before the setups.
	, GenFramework pinid -> Map pinid (Set PinMode)
pinmodes :: M.Map pinid (S.Set PinMode)
	-- ^ How pins are used.
	, GenFramework pinid -> [CChunk]
loops :: [CChunk]
	-- ^ Things to run in `loop`.
	}

instance Ord pinid => Semigroup (GenFramework pinid) where
	GenFramework pinid
a <> :: GenFramework pinid -> GenFramework pinid -> GenFramework pinid
<> GenFramework pinid
b = Framework :: forall pinid.
[CChunk]
-> [CChunk]
-> [CChunk]
-> Map pinid (Set PinMode)
-> [CChunk]
-> GenFramework pinid
Framework
		{ defines :: [CChunk]
defines = GenFramework pinid -> [CChunk]
forall pinid. GenFramework pinid -> [CChunk]
defines GenFramework pinid
a [CChunk] -> [CChunk] -> [CChunk]
forall a. Semigroup a => a -> a -> a
<> GenFramework pinid -> [CChunk]
forall pinid. GenFramework pinid -> [CChunk]
defines GenFramework pinid
b
		, setups :: [CChunk]
setups = GenFramework pinid -> [CChunk]
forall pinid. GenFramework pinid -> [CChunk]
setups GenFramework pinid
a [CChunk] -> [CChunk] -> [CChunk]
forall a. Semigroup a => a -> a -> a
<> GenFramework pinid -> [CChunk]
forall pinid. GenFramework pinid -> [CChunk]
setups GenFramework pinid
b
		, earlySetups :: [CChunk]
earlySetups = GenFramework pinid -> [CChunk]
forall pinid. GenFramework pinid -> [CChunk]
earlySetups GenFramework pinid
a [CChunk] -> [CChunk] -> [CChunk]
forall a. Semigroup a => a -> a -> a
<> GenFramework pinid -> [CChunk]
forall pinid. GenFramework pinid -> [CChunk]
earlySetups GenFramework pinid
b
		, pinmodes :: Map pinid (Set PinMode)
pinmodes = (Set PinMode -> Set PinMode -> Set PinMode)
-> Map pinid (Set PinMode)
-> Map pinid (Set PinMode)
-> Map pinid (Set PinMode)
forall k a. Ord k => (a -> a -> a) -> Map k a -> Map k a -> Map k a
M.unionWith Set PinMode -> Set PinMode -> Set PinMode
forall a. Ord a => Set a -> Set a -> Set a
S.union (GenFramework pinid -> Map pinid (Set PinMode)
forall pinid. GenFramework pinid -> Map pinid (Set PinMode)
pinmodes GenFramework pinid
a) (GenFramework pinid -> Map pinid (Set PinMode)
forall pinid. GenFramework pinid -> Map pinid (Set PinMode)
pinmodes GenFramework pinid
b)
		, loops :: [CChunk]
loops = GenFramework pinid -> [CChunk]
forall pinid. GenFramework pinid -> [CChunk]
loops GenFramework pinid
a  [CChunk] -> [CChunk] -> [CChunk]
forall a. Semigroup a => a -> a -> a
<> GenFramework pinid -> [CChunk]
forall pinid. GenFramework pinid -> [CChunk]
loops GenFramework pinid
b
		}

instance Ord pinid => Monoid (GenFramework pinid) where
	mempty :: GenFramework pinid
mempty = [CChunk]
-> [CChunk]
-> [CChunk]
-> Map pinid (Set PinMode)
-> [CChunk]
-> GenFramework pinid
forall pinid.
[CChunk]
-> [CChunk]
-> [CChunk]
-> Map pinid (Set PinMode)
-> [CChunk]
-> GenFramework pinid
Framework [CChunk]
forall a. Monoid a => a
mempty [CChunk]
forall a. Monoid a => a
mempty [CChunk]
forall a. Monoid a => a
mempty Map pinid (Set PinMode)
forall a. Monoid a => a
mempty [CChunk]
forall a. Monoid a => a
mempty

newtype UniqueIds = UniqueIds (M.Map String Integer)

newtype UniqueId = UniqueId Integer

data TriggerLimit
	= TriggerLimit (Behavior Bool)
	| NoTriggerLimit

instance Monoid TriggerLimit where
	mempty :: TriggerLimit
mempty = TriggerLimit
NoTriggerLimit

instance Semigroup TriggerLimit where
	TriggerLimit Stream Bool
a <> :: TriggerLimit -> TriggerLimit -> TriggerLimit
<> TriggerLimit Stream Bool
b =
		Stream Bool -> TriggerLimit
TriggerLimit (Stream Bool
a Stream Bool -> Stream Bool -> Stream Bool
Language.Copilot.&& Stream Bool
b)
	TriggerLimit
a <> TriggerLimit
NoTriggerLimit = TriggerLimit
a
	TriggerLimit
NoTriggerLimit <> TriggerLimit
b = TriggerLimit
b

data PinMode = InputMode | InputPullupMode | OutputMode
	deriving (Int -> PinMode -> ShowS
[PinMode] -> ShowS
PinMode -> String
(Int -> PinMode -> ShowS)
-> (PinMode -> String) -> ([PinMode] -> ShowS) -> Show PinMode
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [PinMode] -> ShowS
$cshowList :: [PinMode] -> ShowS
show :: PinMode -> String
$cshow :: PinMode -> String
showsPrec :: Int -> PinMode -> ShowS
$cshowsPrec :: Int -> PinMode -> ShowS
Show, PinMode -> PinMode -> Bool
(PinMode -> PinMode -> Bool)
-> (PinMode -> PinMode -> Bool) -> Eq PinMode
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PinMode -> PinMode -> Bool
$c/= :: PinMode -> PinMode -> Bool
== :: PinMode -> PinMode -> Bool
$c== :: PinMode -> PinMode -> Bool
Eq, Eq PinMode
Eq PinMode
-> (PinMode -> PinMode -> Ordering)
-> (PinMode -> PinMode -> Bool)
-> (PinMode -> PinMode -> Bool)
-> (PinMode -> PinMode -> Bool)
-> (PinMode -> PinMode -> Bool)
-> (PinMode -> PinMode -> PinMode)
-> (PinMode -> PinMode -> PinMode)
-> Ord PinMode
PinMode -> PinMode -> Bool
PinMode -> PinMode -> Ordering
PinMode -> PinMode -> PinMode
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: PinMode -> PinMode -> PinMode
$cmin :: PinMode -> PinMode -> PinMode
max :: PinMode -> PinMode -> PinMode
$cmax :: PinMode -> PinMode -> PinMode
>= :: PinMode -> PinMode -> Bool
$c>= :: PinMode -> PinMode -> Bool
> :: PinMode -> PinMode -> Bool
$c> :: PinMode -> PinMode -> Bool
<= :: PinMode -> PinMode -> Bool
$c<= :: PinMode -> PinMode -> Bool
< :: PinMode -> PinMode -> Bool
$c< :: PinMode -> PinMode -> Bool
compare :: PinMode -> PinMode -> Ordering
$ccompare :: PinMode -> PinMode -> Ordering
$cp1Ord :: Eq PinMode
Ord)

-- | A line of C code.
newtype CLine = CLine { CLine -> String
fromCLine :: String }
	deriving (CLine -> CLine -> Bool
(CLine -> CLine -> Bool) -> (CLine -> CLine -> Bool) -> Eq CLine
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CLine -> CLine -> Bool
$c/= :: CLine -> CLine -> Bool
== :: CLine -> CLine -> Bool
$c== :: CLine -> CLine -> Bool
Eq, Int -> CLine -> ShowS
[CLine] -> ShowS
CLine -> String
(Int -> CLine -> ShowS)
-> (CLine -> String) -> ([CLine] -> ShowS) -> Show CLine
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CLine] -> ShowS
$cshowList :: [CLine] -> ShowS
show :: CLine -> String
$cshow :: CLine -> String
showsPrec :: Int -> CLine -> ShowS
$cshowsPrec :: Int -> CLine -> ShowS
Show, Eq CLine
Eq CLine
-> (CLine -> CLine -> Ordering)
-> (CLine -> CLine -> Bool)
-> (CLine -> CLine -> Bool)
-> (CLine -> CLine -> Bool)
-> (CLine -> CLine -> Bool)
-> (CLine -> CLine -> CLine)
-> (CLine -> CLine -> CLine)
-> Ord CLine
CLine -> CLine -> Bool
CLine -> CLine -> Ordering
CLine -> CLine -> CLine
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: CLine -> CLine -> CLine
$cmin :: CLine -> CLine -> CLine
max :: CLine -> CLine -> CLine
$cmax :: CLine -> CLine -> CLine
>= :: CLine -> CLine -> Bool
$c>= :: CLine -> CLine -> Bool
> :: CLine -> CLine -> Bool
$c> :: CLine -> CLine -> Bool
<= :: CLine -> CLine -> Bool
$c<= :: CLine -> CLine -> Bool
< :: CLine -> CLine -> Bool
$c< :: CLine -> CLine -> Bool
compare :: CLine -> CLine -> Ordering
$ccompare :: CLine -> CLine -> Ordering
$cp1Ord :: Eq CLine
Ord)

-- | A chunk of C code. Identical chunks get deduplicated.
newtype CChunk = CChunk [CLine]
	deriving (CChunk -> CChunk -> Bool
(CChunk -> CChunk -> Bool)
-> (CChunk -> CChunk -> Bool) -> Eq CChunk
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: CChunk -> CChunk -> Bool
$c/= :: CChunk -> CChunk -> Bool
== :: CChunk -> CChunk -> Bool
$c== :: CChunk -> CChunk -> Bool
Eq, Int -> CChunk -> ShowS
[CChunk] -> ShowS
CChunk -> String
(Int -> CChunk -> ShowS)
-> (CChunk -> String) -> ([CChunk] -> ShowS) -> Show CChunk
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CChunk] -> ShowS
$cshowList :: [CChunk] -> ShowS
show :: CChunk -> String
$cshow :: CChunk -> String
showsPrec :: Int -> CChunk -> ShowS
$cshowsPrec :: Int -> CChunk -> ShowS
Show, Eq CChunk
Eq CChunk
-> (CChunk -> CChunk -> Ordering)
-> (CChunk -> CChunk -> Bool)
-> (CChunk -> CChunk -> Bool)
-> (CChunk -> CChunk -> Bool)
-> (CChunk -> CChunk -> Bool)
-> (CChunk -> CChunk -> CChunk)
-> (CChunk -> CChunk -> CChunk)
-> Ord CChunk
CChunk -> CChunk -> Bool
CChunk -> CChunk -> Ordering
CChunk -> CChunk -> CChunk
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: CChunk -> CChunk -> CChunk
$cmin :: CChunk -> CChunk -> CChunk
max :: CChunk -> CChunk -> CChunk
$cmax :: CChunk -> CChunk -> CChunk
>= :: CChunk -> CChunk -> Bool
$c>= :: CChunk -> CChunk -> Bool
> :: CChunk -> CChunk -> Bool
$c> :: CChunk -> CChunk -> Bool
<= :: CChunk -> CChunk -> Bool
$c<= :: CChunk -> CChunk -> Bool
< :: CChunk -> CChunk -> Bool
$c< :: CChunk -> CChunk -> Bool
compare :: CChunk -> CChunk -> Ordering
$ccompare :: CChunk -> CChunk -> Ordering
$cp1Ord :: Eq CChunk
Ord, b -> CChunk -> CChunk
NonEmpty CChunk -> CChunk
CChunk -> CChunk -> CChunk
(CChunk -> CChunk -> CChunk)
-> (NonEmpty CChunk -> CChunk)
-> (forall b. Integral b => b -> CChunk -> CChunk)
-> Semigroup CChunk
forall b. Integral b => b -> CChunk -> CChunk
forall a.
(a -> a -> a)
-> (NonEmpty a -> a)
-> (forall b. Integral b => b -> a -> a)
-> Semigroup a
stimes :: b -> CChunk -> CChunk
$cstimes :: forall b. Integral b => b -> CChunk -> CChunk
sconcat :: NonEmpty CChunk -> CChunk
$csconcat :: NonEmpty CChunk -> CChunk
<> :: CChunk -> CChunk -> CChunk
$c<> :: CChunk -> CChunk -> CChunk
Semigroup, Semigroup CChunk
CChunk
Semigroup CChunk
-> CChunk
-> (CChunk -> CChunk -> CChunk)
-> ([CChunk] -> CChunk)
-> Monoid CChunk
[CChunk] -> CChunk
CChunk -> CChunk -> CChunk
forall a.
Semigroup a -> a -> (a -> a -> a) -> ([a] -> a) -> Monoid a
mconcat :: [CChunk] -> CChunk
$cmconcat :: [CChunk] -> CChunk
mappend :: CChunk -> CChunk -> CChunk
$cmappend :: CChunk -> CChunk -> CChunk
mempty :: CChunk
$cmempty :: CChunk
$cp1Monoid :: Semigroup CChunk
Monoid)

-- | This type family is open, so it can be extended when adding other data
-- types to the IsBehavior class.
type family BehaviorToEvent a
type instance BehaviorToEvent (Behavior v) = Event () (Stream v)
type instance BehaviorToEvent (TypedBehavior p v) = Event p (Stream v)

class IsBehavior behavior where
	-- | Generate an Event, from some type of behavior,
	-- that only occurs when the `Behavior` Bool is True.
	(@:) :: behavior -> Behavior Bool -> BehaviorToEvent behavior

instance IsBehavior (Behavior v) where
	Behavior v
b @: :: Behavior v -> Stream Bool -> BehaviorToEvent (Behavior v)
@: Stream Bool
c = Behavior v -> Stream Bool -> Event () (Behavior v)
forall k (p :: k) v. v -> Stream Bool -> Event p v
Event Behavior v
b Stream Bool
c

instance IsBehavior (TypedBehavior p v) where
	@: :: TypedBehavior p v
-> Stream Bool -> BehaviorToEvent (TypedBehavior p v)
(@:) (TypedBehavior Behavior v
b) Stream Bool
c = Behavior v -> Stream Bool -> Event p (Behavior v)
forall k (p :: k) v. v -> Stream Bool -> Event p v
Event Behavior v
b Stream Bool
c

data PinCapabilities
	= DigitalIO
	| AnalogInput
	| PWM
	deriving (Int -> PinCapabilities -> ShowS
[PinCapabilities] -> ShowS
PinCapabilities -> String
(Int -> PinCapabilities -> ShowS)
-> (PinCapabilities -> String)
-> ([PinCapabilities] -> ShowS)
-> Show PinCapabilities
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [PinCapabilities] -> ShowS
$cshowList :: [PinCapabilities] -> ShowS
show :: PinCapabilities -> String
$cshow :: PinCapabilities -> String
showsPrec :: Int -> PinCapabilities -> ShowS
$cshowsPrec :: Int -> PinCapabilities -> ShowS
Show, PinCapabilities -> PinCapabilities -> Bool
(PinCapabilities -> PinCapabilities -> Bool)
-> (PinCapabilities -> PinCapabilities -> Bool)
-> Eq PinCapabilities
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PinCapabilities -> PinCapabilities -> Bool
$c/= :: PinCapabilities -> PinCapabilities -> Bool
== :: PinCapabilities -> PinCapabilities -> Bool
$c== :: PinCapabilities -> PinCapabilities -> Bool
Eq, Eq PinCapabilities
Eq PinCapabilities
-> (PinCapabilities -> PinCapabilities -> Ordering)
-> (PinCapabilities -> PinCapabilities -> Bool)
-> (PinCapabilities -> PinCapabilities -> Bool)
-> (PinCapabilities -> PinCapabilities -> Bool)
-> (PinCapabilities -> PinCapabilities -> Bool)
-> (PinCapabilities -> PinCapabilities -> PinCapabilities)
-> (PinCapabilities -> PinCapabilities -> PinCapabilities)
-> Ord PinCapabilities
PinCapabilities -> PinCapabilities -> Bool
PinCapabilities -> PinCapabilities -> Ordering
PinCapabilities -> PinCapabilities -> PinCapabilities
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: PinCapabilities -> PinCapabilities -> PinCapabilities
$cmin :: PinCapabilities -> PinCapabilities -> PinCapabilities
max :: PinCapabilities -> PinCapabilities -> PinCapabilities
$cmax :: PinCapabilities -> PinCapabilities -> PinCapabilities
>= :: PinCapabilities -> PinCapabilities -> Bool
$c>= :: PinCapabilities -> PinCapabilities -> Bool
> :: PinCapabilities -> PinCapabilities -> Bool
$c> :: PinCapabilities -> PinCapabilities -> Bool
<= :: PinCapabilities -> PinCapabilities -> Bool
$c<= :: PinCapabilities -> PinCapabilities -> Bool
< :: PinCapabilities -> PinCapabilities -> Bool
$c< :: PinCapabilities -> PinCapabilities -> Bool
compare :: PinCapabilities -> PinCapabilities -> Ordering
$ccompare :: PinCapabilities -> PinCapabilities -> Ordering
$cp1Ord :: Eq PinCapabilities
Ord)

type family IsDigitalIOPin t where
	IsDigitalIOPin t = 
		'True ~ If (HasPinCapability 'DigitalIO t)
			('True)
			(TypeError ('Text "This Pin does not support digital IO"))

type family IsAnalogInputPin t where
	IsAnalogInputPin t = 
		'True ~ If (HasPinCapability 'AnalogInput t)
			('True)
			(TypeError ('Text "This Pin does not support analog input"))

type family IsPWMPin t where
	IsPWMPin t = 
		'True ~ If (HasPinCapability 'PWM t)
			('True)
			(TypeError ('Text "This Pin does not support PWM"))

type family HasPinCapability (c :: t) (list :: [t]) :: Bool where
	HasPinCapability c '[] = 'False
	HasPinCapability c (x ': xs) = SameCapability c x || HasPinCapability c xs

type family SameCapability a b :: Bool where
	SameCapability 'DigitalIO 'DigitalIO = 'True
	SameCapability 'AnalogInput 'AnalogInput = 'True
	SameCapability 'PWM 'PWM = 'True
	SameCapability _ _ = 'False