Visualization of μKanren goals
Message a StreamModel can react to
{ name : String
, seenStates : List (Kernel.State a)
, stream : Kernel.Stream a
}
Keep track of a Stream.
streamModelFromGoal : String -> Kernel.Goal a -> StreamModel a
Create a StreamModel from a Goal.
update : Message -> StreamModel a -> StreamModel a
Update the StreamModel according to the received Message
view : (a -> String) -> StreamModel a -> Html Message
Represent a StreamModel.
This needs a way to visualize the generic parameter. It is provided as funtion with signature (a -> String).