Add Game pid funs and List.seek

Soonad / Moonad

An upcoming operating system built on Type-Theory

43 stars 5 forks source link

Closed neocastro closed 4 years ago

neocastro commented 4 years ago

Added:

TaelinArena.Game.get_thing_by_pid
TaelinArena.Game.get_position_by_pid
TaelinArena.Game.map_stage
TaelinArena.Game.with_thing
List.seek: <A: Type> -> (A -> Bool) -> List(A) -> Maybe(A): seeks the first ocurrence that matches a condition (same as Formality's List.find)

VictorTaelin commented 4 years ago

Please send a new PR renaming List.seek to List.find, and the current List.find to List.ifind.