Data.Char.Domino

A module that defines values for domino pieces, and converts these to unicode characters of the 1F030 unicode block.

Data types to represent domino values

data Domino a

A domino piece, which has two items. Depending on the orientation, the items are located at the top and bottom; or left and right.

Constructors

Domino

The front side of the domino piece.

Fields

• leftTop :: a

  The part that is located at the left side in case the piece is located horizontally, or at the top in case the piece is located vertically.

• rightBottom :: a

  The part that is located at the right side in case the piece is located horizontally, or at the bottom in case the piece is located vertically.

Back

The back side of the domino piece.

Instances

Functor Domino

Defined in Data.Char.Domino

Methods

fmap :: (a -> b) -> Domino a -> Domino b

(<$) :: a -> Domino b -> Domino a

Applicative Domino

Defined in Data.Char.Domino

Methods

pure :: a -> Domino a

(<*>) :: Domino (a -> b) -> Domino a -> Domino b

liftA2 :: (a -> b -> c) -> Domino a -> Domino b -> Domino c

(*>) :: Domino a -> Domino b -> Domino b

(<*) :: Domino a -> Domino b -> Domino a

Foldable Domino

Defined in Data.Char.Domino

Methods

fold :: Monoid m => Domino m -> m

foldMap :: Monoid m => (a -> m) -> Domino a -> m

foldMap' :: Monoid m => (a -> m) -> Domino a -> m

foldr :: (a -> b -> b) -> b -> Domino a -> b

foldr' :: (a -> b -> b) -> b -> Domino a -> b

foldl :: (b -> a -> b) -> b -> Domino a -> b

foldl' :: (b -> a -> b) -> b -> Domino a -> b

foldr1 :: (a -> a -> a) -> Domino a -> a

foldl1 :: (a -> a -> a) -> Domino a -> a

toList :: Domino a -> [a]

null :: Domino a -> Bool

length :: Domino a -> Int

elem :: Eq a => a -> Domino a -> Bool

maximum :: Ord a => Domino a -> a

minimum :: Ord a => Domino a -> a

sum :: Num a => Domino a -> a

product :: Num a => Domino a -> a

Traversable Domino

Defined in Data.Char.Domino

Methods

traverse :: Applicative f => (a -> f b) -> Domino a -> f (Domino b)

sequenceA :: Applicative f => Domino (f a) -> f (Domino a)

mapM :: Monad m => (a -> m b) -> Domino a -> m (Domino b)

sequence :: Monad m => Domino (m a) -> m (Domino a)

Arbitrary1 Domino

Defined in Data.Char.Domino

Methods

liftArbitrary :: Gen a -> Gen (Domino a)

liftShrink :: (a -> [a]) -> Domino a -> [Domino a]

Eq1 Domino

Defined in Data.Char.Domino

Methods

liftEq :: (a -> b -> Bool) -> Domino a -> Domino b -> Bool

Ord1 Domino

Defined in Data.Char.Domino

Methods

liftCompare :: (a -> b -> Ordering) -> Domino a -> Domino b -> Ordering

Hashable1 Domino

Defined in Data.Char.Domino

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Domino a -> Int

Bounded a => Bounded (Domino a)

Defined in Data.Char.Domino

Methods

minBound :: Domino a

maxBound :: Domino a

Eq a => Eq (Domino a)

Defined in Data.Char.Domino

Methods

(==) :: Domino a -> Domino a -> Bool

(/=) :: Domino a -> Domino a -> Bool

Data a => Data (Domino a)

Defined in Data.Char.Domino

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Domino a -> c (Domino a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Domino a)

toConstr :: Domino a -> Constr

dataTypeOf :: Domino a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Domino a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Domino a))

gmapT :: (forall b. Data b => b -> b) -> Domino a -> Domino a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Domino a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Domino a -> r

gmapQ :: (forall d. Data d => d -> u) -> Domino a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Domino a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Domino a -> m (Domino a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Domino a -> m (Domino a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Domino a -> m (Domino a)

Ord a => Ord (Domino a)

Defined in Data.Char.Domino

Methods

compare :: Domino a -> Domino a -> Ordering

(<) :: Domino a -> Domino a -> Bool

(<=) :: Domino a -> Domino a -> Bool

(>) :: Domino a -> Domino a -> Bool

(>=) :: Domino a -> Domino a -> Bool

max :: Domino a -> Domino a -> Domino a

min :: Domino a -> Domino a -> Domino a

Read a => Read (Domino a)

Defined in Data.Char.Domino

Methods

readsPrec :: Int -> ReadS (Domino a)

readList :: ReadS [Domino a]

readPrec :: ReadPrec (Domino a)

readListPrec :: ReadPrec [Domino a]

Show a => Show (Domino a)

Defined in Data.Char.Domino

Methods

showsPrec :: Int -> Domino a -> ShowS

show :: Domino a -> String

showList :: [Domino a] -> ShowS

Generic (Domino a)

Defined in Data.Char.Domino

Associated Types

type Rep (Domino a) :: Type -> Type

Methods

from :: Domino a -> Rep (Domino a) x

to :: Rep (Domino a) x -> Domino a

Arbitrary a => Arbitrary (Domino a)

Defined in Data.Char.Domino

Methods

arbitrary :: Gen (Domino a)

shrink :: Domino a -> [Domino a]

Hashable a => Hashable (Domino a)

Defined in Data.Char.Domino

Methods

hashWithSalt :: Int -> Domino a -> Int

hash :: Domino a -> Int

UnicodeText (Oriented (Domino (Maybe DieValue)))

Defined in Data.Char.Domino

Methods

toUnicodeText :: Oriented (Domino (Maybe DieValue)) -> Text

fromUnicodeText :: Text -> Maybe (Oriented (Domino (Maybe DieValue)))

fromUnicodeText' :: Text -> Oriented (Domino (Maybe DieValue))

UnicodeText (Oriented (Domino DieValue))

Defined in Data.Char.Domino

Methods

toUnicodeText :: Oriented (Domino DieValue) -> Text

fromUnicodeText :: Text -> Maybe (Oriented (Domino DieValue))

fromUnicodeText' :: Text -> Oriented (Domino DieValue)

UnicodeCharacter (Oriented (Domino (Maybe DieValue)))

Defined in Data.Char.Domino

Methods

toUnicodeChar :: Oriented (Domino (Maybe DieValue)) -> Char

fromUnicodeChar :: Char -> Maybe (Oriented (Domino (Maybe DieValue)))

fromUnicodeChar' :: Char -> Oriented (Domino (Maybe DieValue))

UnicodeCharacter (Oriented (Domino DieValue))

Defined in Data.Char.Domino

Methods

toUnicodeChar :: Oriented (Domino DieValue) -> Char

fromUnicodeChar :: Char -> Maybe (Oriented (Domino DieValue))

fromUnicodeChar' :: Char -> Oriented (Domino DieValue)

Generic1 Domino

Defined in Data.Char.Domino

Associated Types

type Rep1 Domino :: k -> Type

Methods

from1 :: forall (a :: k). Domino a -> Rep1 Domino a

to1 :: forall (a :: k). Rep1 Domino a -> Domino a

type Rep (Domino a)

Defined in Data.Char.Domino

type Rep (Domino a) = D1 ('MetaData "Domino" "Data.Char.Domino" "unicode-tricks-0.10.0.0-AliVHfzJIeqARoOu4Sb24D" 'False) (C1 ('MetaCons "Domino" 'PrefixI 'True) (S1 ('MetaSel ('Just "leftTop") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "rightBottom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Back" 'PrefixI 'False) (U1 :: Type -> Type))

type Rep1 Domino

Defined in Data.Char.Domino

type Rep1 Domino = D1 ('MetaData "Domino" "Data.Char.Domino" "unicode-tricks-0.10.0.0-AliVHfzJIeqARoOu4Sb24D" 'False) (C1 ('MetaCons "Domino" 'PrefixI 'True) (S1 ('MetaSel ('Just "leftTop") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Just "rightBottom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1) :+: C1 ('MetaCons "Back" 'PrefixI 'False) (U1 :: Type -> Type))

pattern (:|)

Arguments

:: a

The item that is located at the left, or the top.

-> a

The item that is located at the right, or the bottom.

-> Domino a

The domino that is constructed.

A pattern synonym that makes it more convenient to write expressions that look like domino's like for example II :| IV.

type OrientedDomino a = Oriented (Domino a)

A type alias that specifies that OrientedDomino is an Oriented type that wraps a Domino item.

type SimpleDomino = Domino DieValue

A SimpleDomino is a Domino that contains DieValue objects, it thus can not have an "empty" value.

type ComplexDomino = Domino (Maybe DieValue)

A ComplexDomino is a Domino that contains Maybe values wrapping a DieValue. In case of a Nothing, that side is considered empty.

Render domino values

dominoH

Arguments

:: ComplexDomino

The ComplexDomino object to render horizontally.

-> Char

The unicode character that represents the given ComplexDomino value in a horizontal manner.

Convert a ComplexDomino value to a unicode character rendering the domino value horizontally.

dominoH'

Arguments

:: SimpleDomino

The SimpleDomino object to render horizontally.

-> Char

The unicode character that represents the given SimpleDomino value in a horizontal manner.

Convert a SimpleDomino value to a unicode character rendering the domino value horizontally.

dominoV

Arguments

:: ComplexDomino

The ComplexDomino object to render vertically.

-> Char

The unicode character that represents the given ComplexDomino value in a vertical manner.

Convert a ComplexDomino value to a unicode character rendering the domino value vertically.

dominoV'

Arguments

:: SimpleDomino

The SimpleDomino object to render vertically.

-> Char

The unicode character that represents the given SimpleDomino value in vertical manner.

Convert a SimpleDomino value to a unicode character rendering the domino value vertically.

domino

Arguments

:: OrientedDomino (Maybe DieValue)

The OrientedDomino to render.

-> Char

The unicode characters that represents the OrientedDomino value.

Convert an OrientedDomino to its unicode equivalent, where the sides of the domino can be empty.

domino'

Arguments

:: OrientedDomino DieValue

The OrientedDomino to render.

-> Char

The unicode characters that represents the OrientedDomino value.

Convert an OrientedDomino to its unicode equivalent, where the sides of the domino can not be empty.

Convert from Characters

fromDomino

Arguments

:: Char

The given Character to convert to an Oriented ComplexDomino object.

-> Maybe (Oriented ComplexDomino)

The equivalent Oriented ComplexDomino object for the given Character wrapped in a Just; Nothing if the character is not a domino character.

Convert the given Character to an Oriented ComplexDomino object. If the given Character wrapped in a Just data constructor if the Character is a valid domino character; otherwise Nothing.

fromDomino'

Arguments

:: Char

The given Character to convert to an Oriented ComplexDomino object.

-> Oriented ComplexDomino

The equivalent Oriented ComplexDomino object for the given Character.

Convert the given Character to an Oriented ComplexDomino object. If the given Character is not a valid domino character, the result is unspecified.