Karel
Types
Functions
def world (width : Int) (height : Int) (x : Int) (y : Int) (facing : Int) : World
def with_wall (w : World) (x : Int) (y : Int) : World
def random_world (width : Int) (height : Int) (seed : Int) : World
def with_markers (w : World) (x : Int) (y : Int) (count : Int) : World
def marker_count_at (w : World) (x : Int) (y : Int) : Int
def front_is_clear (w : World) : Bool
def left_is_clear (w : World) : Bool
def right_is_clear (w : World) : Bool
def markers_present (w : World) : Bool
def move (w : World) : World
def turn_left (w : World) : World
def turn_right (w : World) : World
def pick_marker (w : World) : World
def put_marker (w : World) : World
def marker_count (w : World) : Int
def render (w : World) : String
def same_world (a : World) (b : World) : Bool
def example (initial : World) (expected : World) : Examples
def append_examples (a : Examples) (b : Examples) : Examples
def load_dataset (path : String) : Dataset
def dataset_size (dataset : Dataset) : Int
def dataset_task (dataset : Dataset) (index : Int) : Examples
def fitness (program : (w : World) → World) (examples : Examples) : Float
def require_finished (fuel : Int) (test : (w : World) → Bool) (w : World) : World
def repeat_tick (w : World) : World
def load_task_examples (path : String) : Examples
def robot_x (w : World) : Int
def robot_y (w : World) : Int
def direction (w : World) : Int
def width (w : World) : Int
def height (w : World) : Int
def no_markers_present (w : World) : Bool
def not_karel (test : (w : World) → Bool) (w : World) : Bool
def stay (w : World) : World
def sequence (first : (w : World) → World) (second : (w : World) → World) (w : World) : World
def repeat (count : Int) (step : (w : World) → World) (w : World) : World
def if_karel (test : (w : World) → Bool) (yes : (w : World) → World) (no : (w : World) → World) (w : World) : World
def when_karel (test : (w : World) → Bool) (step : (w : World) → World) (w : World) : World
def while_karel (fuel : Int) (test : (w : World) → Bool) (step : (w : World) → World) (w : World) : World