@@ -3,17 +3,8 @@ module Automaton where
33
44data Automaton a b = Automaton (a -> (b, Automaton a b))
55
6−-- Maybe once there are infix type constructors this could be
7−-- data a ~> b
8−-- or something like that.
96
10−
11−{--- API possibilies
12−
13−All names and types are up for debate!
14−
15−
16−How to run an automaton (some require typeclasses):
7+{--- API possibilies: All names and types are up for debate!
178
189run :: Automaton a b -> Signal a -> Signal b
1910run :: OrderedContainer c => Automaton a b -> c a -> c b
@@ -24,9 +15,11 @@ combine :: [Automaton a b] -> Automaton a [b]
2415combine :: Container c => c (Automaton a b) -> Automaton a (c b)
2516
2617init :: b -> (a -> b -> b) -> Automaton a b
18+
2719init' :: s -> (a -> s -> (b,s)) -> Automaton a b
2820
2921count :: Automaton a Int
22+
3023draggable :: Form -> Automaton (Bool,(Int,Int)) Form
3124
3225--}