| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Rubik.Tables.Moves
- type Moves m a = MoveTag m [RawMove a]
- move18CornerOrien :: Moves Move18 CornerOrien
- move18CornerPermu :: Moves Move18 CornerPermu
- move18EdgeOrien :: Moves Move18 EdgeOrien
- move18UDSlicePermu :: Moves Move18 UDSlicePermu
- move18UDSlice :: Moves Move18 UDSlice
- move10CornerPermu :: Moves Move10 CornerPermu
- move10UDSlicePermu2 :: Moves Move10 UDSlicePermu2
- move10UDEdgePermu2 :: Moves Move10 UDEdgePermu2
- sym16CornerOrien :: Symmetries UDFix CornerOrien
- invertedSym16CornerOrien :: Symmetries UDFix CornerOrien
- sym16CornerPermu :: Symmetries UDFix CornerPermu
- invertedSym16CornerPermu :: Symmetries UDFix CornerPermu
- symProjCornerPermu :: SymProjection Move18 UDFix CornerPermu
- move18SymCornerPermu :: MoveTag Move18 [SymMove UDFix CornerPermu]
- symProjFlipUDSlicePermu :: SymProjection Move18 UDFix FlipUDSlicePermu
- rawToSymCornerPermu :: RawCoord t -> (SymClass symType a, SymCode s)
- symToRawCornerPermu :: SymCoord UDFix CornerPermu -> RawCoord CornerPermu
- classCornerPermu :: SymClassTable UDFix CornerPermu
- reprCornerPermu :: SymReprTable UDFix CornerPermu
- move18SymFlipUDSlicePermu :: MoveTag Move18 [SymMove UDFix FlipUDSlicePermu]
- rawToSymFlipUDSlicePermu :: RawCoord FlipUDSlicePermu -> SymCoord UDFix FlipUDSlicePermu
- rawToSymFlipUDSlicePermu' :: RawCoord UDSlicePermu -> RawCoord EdgeOrien -> SymCoord UDFix FlipUDSlicePermu
- symToRawFlipUDSlicePermu :: SymCoord UDFix FlipUDSlicePermu -> RawCoord FlipUDSlicePermu
- classFlipUDSlicePermu :: SymClassTable UDFix FlipUDSlicePermu
- reprFlipUDSlicePermu :: SymReprTable UDFix FlipUDSlicePermu
- conjugateFlipUDSlicePermu' :: SymCode UDFix -> FlipUDSlicePermu -> FlipUDSlicePermu
- conjugateFlipUDSlicePermu_ :: RawCoord UDSlicePermu -> RawCoord EdgeOrien -> Vector (RawCoord UDSlicePermu, RawCoord EdgeOrien)
- conjugateUDSlicePermu' :: SymCode UDFix -> UDSlicePermu -> UDSlicePermu
- conjUDSlicePermu :: Vector (Vector (RawCoord UDSlicePermu))
- type EOComponent = Int
- type EOComponents = Vector Int
- udspComponentOfConjEdgeOrien :: Vector EOComponents
- eoComponentOfConjEdgeOrien :: Vector EOComponents
- cubeComponentOfConjEdgeOrien :: EOComponents
Documentation
rawToSymCornerPermu :: RawCoord t -> (SymClass symType a, SymCode s) Source
rawToSymFlipUDSlicePermu' :: RawCoord UDSlicePermu -> RawCoord EdgeOrien -> SymCoord UDFix FlipUDSlicePermu Source
conjugateFlipUDSlicePermu_ :: RawCoord UDSlicePermu -> RawCoord EdgeOrien -> Vector (RawCoord UDSlicePermu, RawCoord EdgeOrien) Source
type EOComponent = Int Source
11 bits describing edge orientations, as obtained by encodeEdgeOrien'
type EOComponents = Vector Int Source