Diagrams.RubiksCube.Draw

Documentation

type RubiksCubeBackend n b = (Renderable (Path V2 n) b, TypeableFloat n, N b ~ n, V b ~ V2)

solvedRubiksCube :: RubiksCube (Colour Double)

The solved cube.

drawSide

Arguments

:: (RubiksCubeBackend n b, Color c)

=> V2 n

dx

-> V2 n

dy

-> Side c

-> Diagram b

Draws one 3x3 side of the cube.

drawFoldingPattern :: (RubiksCubeBackend n b, Color c) => RubiksCube c -> Diagram b

Draw the folding pattern of the cube. The front side is at the center of the pattern.

data Offsets n

Constructors

Offsets

Fields

• _offsetX :: n
• _offsetY :: n

Instances

Eq n => Eq (Offsets n)

Methods

(==) :: Offsets n -> Offsets n -> Bool

(/=) :: Offsets n -> Offsets n -> Bool

Read n => Read (Offsets n)

Methods

readsPrec :: Int -> ReadS (Offsets n)

readList :: ReadS [Offsets n]

readPrec :: ReadPrec (Offsets n)

readListPrec :: ReadPrec [Offsets n]

Show n => Show (Offsets n)

Methods

showsPrec :: Int -> Offsets n -> ShowS

show :: Offsets n -> String

showList :: [Offsets n] -> ShowS

Fractional n => Default (Offsets n)

Methods

def :: Offsets n

offsetX :: forall n. Lens' (Offsets n) n

offsetY :: forall n. Lens' (Offsets n) n

drawRubiksCube :: (RubiksCubeBackend n b, Color c) => Offsets n -> RubiksCube c -> Diagram b

Draw the Rubik's cube in parallel perspective.

{-# LANGUAGE FlexibleContexts, TypeFamilies #-}
import Diagrams.RubiksCube
import Control.Lens
drawCubeExample =
  let c = solvedRubiksCube ^. undoMoves [R,U,R',U']
  in drawRubiksCube with c

drawMove :: (RubiksCubeBackend n b, Color c) => Move -> Colour Double -> Offsets n -> RubiksCube c -> Diagram b

Draw the Rubik's cube in parallel perspective with an arrow indicating the next move. If the the bottom layer is moved, the cube will be shown from below.

{-# LANGUAGE FlexibleContexts, TypeFamilies #-}
import Diagrams.RubiksCube
import Control.Lens
drawMoveExample =
  let c = solvedRubiksCube ^. undoMoves [L,U,L',U']
  in drawMove L with c

data MovesSettings n

Constructors

MovesSettings

Fields

• _moveSep :: n

  space between cubes

• _showStart :: Bool

  show the start configuration?

• _showEnd :: Bool

  show the end configuration?

• _offsets :: Offsets n
• _arrowColour :: Colour Double

Instances

Eq n => Eq (MovesSettings n)

Methods

(==) :: MovesSettings n -> MovesSettings n -> Bool

(/=) :: MovesSettings n -> MovesSettings n -> Bool

Read n => Read (MovesSettings n)

Methods

readsPrec :: Int -> ReadS (MovesSettings n)

readList :: ReadS [MovesSettings n]

readPrec :: ReadPrec (MovesSettings n)

readListPrec :: ReadPrec [MovesSettings n]

Show n => Show (MovesSettings n)

Methods

showsPrec :: Int -> MovesSettings n -> ShowS

show :: MovesSettings n -> String

showList :: [MovesSettings n] -> ShowS

Fractional n => Default (MovesSettings n)

Methods

def :: MovesSettings n

moveSep :: forall n. Lens' (MovesSettings n) n

showStart :: forall n. Lens' (MovesSettings n) Bool

showEnd :: forall n. Lens' (MovesSettings n) Bool

offsets :: forall n. Lens' (MovesSettings n) (Offsets n)

arrowColour :: forall n. Lens' (MovesSettings n) (Colour Double)

drawMoves

Arguments

:: (RubiksCubeBackend n b, Color c)

=> MovesSettings n

-> RubiksCube c

the start configuration

-> [Move]

-> Diagram b

Draws a sequence of moves.

{-# LANGUAGE FlexibleContexts, TypeFamilies #-}
import Diagrams.RubiksCube
import Control.Lens
drawMovesExample =
  let moves = [B, R, F', R', D', F, F]
      startPos = solvedRubiksCube ^. undoMoves moves
      settings = with & showStart .~ True
  in drawMoves settings startPos moves

drawMovesBackward

Arguments

:: (RubiksCubeBackend n b, Color c)

=> MovesSettings n

-> RubiksCube c

the end configuration

-> [Move]

-> Diagram b

Like drawMoves, but takes the end configuration instead of the start configuration. The previous example can be simplified with this:

import Diagrams.RubiksCube
import Control.Lens
drawMovesExample' =
  let moves = [B, R, F', R', D', F, F]
      endPos = solvedRubiksCube
      settings = with & showStart .~ True
  in drawMovesBackward settings endPos moves