Exercises.State

updateGameState : (GameState -> GameState) -> Command ()

update : (stateType -> stateType) -> State stateType ()

initPage : (title : String) -> (url : String) -> Article

increase : Nat -> State Nat ()

getScore : Article -> Integer

countEmptyNode : Tree a -> State (Nat, Nat) ()

countEmpty : Tree a -> State Nat ()

addUpvote : Article -> Article

addDownvote : Article -> Article

record Votes 

MkVotes : (upvotes : Integer) -> (downvotes : Integer) -> Votes

upvotes : (rec : Votes) -> Integer

downvotes : (rec : Votes) -> Integer

MkVotes : (upvotes : Integer) -> (downvotes : Integer) -> Votes

MkArticle : (title : String) -> (url : String) -> (score : Votes) -> Article

record Article 

MkArticle : (title : String) -> (url : String) -> (score : Votes) -> Article

title : (rec : Article) -> String

url : (rec : Article) -> String

score : (rec : Article) -> Votes