MicroKanren

Visualization of μKanren goals

Types

= TakeFromStream

Message a StreamModel can react to

type alias StreamModel a =

{ name : String

, seenStates : List (State a)

, stream : Stream a

}

Keep track of a Stream.

streamModelFromGoal : String -> 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).