twentyseven-0.0.0: Rubik's cube solver

Safe Haskell	None
Language	Haskell2010

Data.Tuple.Extra

Documentation

class TupleCons b where Source

Associated Types

type a :| b :: * Source

Methods

(|:|) :: a -> b -> a :| b Source

split :: (a :| b) -> (a, b) Source

Instances

TupleCons (Tuple1 a) Source
TupleCons (a, a) Source
TupleCons (a, a, a) Source
TupleCons (a, a, a, a) Source
TupleCons (a, a, a, a, a) Source
TupleCons (a, a, a, a, a, a) Source
TupleCons (a, a, a, a, a, a, a) Source
TupleCons (a, a, a, a, a, a, a, a) Source
TupleCons (a, a, a, a, a, a, a, a, a) Source

newtype Tuple1 a Source

Constructors

Instances

Eq a => Eq (Tuple1 a) Source
Ord a => Ord (Tuple1 a) Source
Show a => Show (Tuple1 a) Source
TupleCons (Tuple1 a) Source
type b :\| (Tuple1 a) = (b, a) Source