Anoma abstract resource machine - 0.0.0

Apps.Sudoku.Grid

Description

Definitions

type SubGridSource#

A Sudoku subgrid

Constructors

| subGrid : List (List Nat) -> SubGrid

subGridEntries : SubGrid -> List NatSource#

type GridSource#

The rows of SubGrids that comprise a Sudoku grid.

Constructors

| grid : List (List SubGrid) -> Grid

gridEntries : Grid -> List NatSource#

gridRows : Grid -> List (List Nat)Source#

instance gridEq : Eq GridSource#

prettyGrid : Grid -> StringSource#