Tiles.Initial

Observations

rasterize :: Int -> Int -> Tile a -> [[a]]

Rasterize a Tile down into a row-major representation of its constituent "pixels".

rasterize'

Arguments

:: Int

resulting width

-> Int

resulting heigeht

-> Tile a

-> Compose ZipList ZipList a

the resulting "pixels" in row-major order

Like rasterize', but with a type more convenient for showing off the applicative homomorphism.

toPNG :: Int -> Int -> Tile Color -> Image PixelRGBA8

Generic constructors

empty :: Monoid a => Tile a

cw :: Tile a -> Tile a

ccw :: Tile a -> Tile a

beside :: Tile a -> Tile a -> Tile a

cols :: Monoid a => [Tile a] -> Tile a

above :: Tile a -> Tile a -> Tile a

rows :: Monoid a => [Tile a] -> Tile a

flipH :: Tile a -> Tile a

flipV :: Tile a -> Tile a

quad :: Tile a -> Tile a -> Tile a -> Tile a -> Tile a

swirl :: Tile a -> Tile a

Color constructors

behind :: Monoid a => Tile a -> Tile a -> Tile a

color :: Double -> Double -> Double -> Double -> Tile Color

Special color constructors

haskell :: Tile Color

sandy :: Tile Color

spj :: Tile Color

Color operations

rgba :: Double -> Double -> Double -> Double -> Color

invert :: Color -> Color

mask :: Color -> Color -> Color

QuickSpec signatures

sig :: Sig

Types

data Tile a

Instances

Functor Tile

Defined in Tiles.Initial

Methods

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

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

Applicative Tile

Defined in Tiles.Initial

Methods

pure :: a -> Tile a

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

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

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

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

Show a => Show (Tile a)

Defined in Tiles.Initial

Methods

showsPrec :: Int -> Tile a -> ShowS

show :: Tile a -> String

showList :: [Tile a] -> ShowS

Semigroup a => Semigroup (Tile a)

Defined in Tiles.Initial

Methods

(<>) :: Tile a -> Tile a -> Tile a

sconcat :: NonEmpty (Tile a) -> Tile a

stimes :: Integral b => b -> Tile a -> Tile a

Monoid a => Monoid (Tile a)

Defined in Tiles.Initial

Methods

mempty :: Tile a

mappend :: Tile a -> Tile a -> Tile a

mconcat :: [Tile a] -> Tile a

(CoArbitrary a, Arbitrary a) => Arbitrary (Tile a)

Defined in Tiles.Initial

Methods

arbitrary :: Gen (Tile a)

shrink :: Tile a -> [Tile a]

Observe test outcome [[a]] => Observe (Small Int, Small Int, test) outcome (Tile a)

Defined in Tiles.Initial

Methods

observe :: (Small Int, Small Int, test) -> Tile a -> outcome

type Color = PixelRGBA8

pattern Color :: Double -> Double -> Double -> Double -> Color

Orphan instances

Semigroup Color

Methods

(<>) :: Color -> Color -> Color

sconcat :: NonEmpty Color -> Color

stimes :: Integral b => b -> Color -> Color

Monoid Color

Methods

mempty :: Color

mappend :: Color -> Color -> Color

mconcat :: [Color] -> Color

Arbitrary PixelRGBA8

Methods

arbitrary :: Gen PixelRGBA8

shrink :: PixelRGBA8 -> [PixelRGBA8]

CoArbitrary PixelRGBA8

Methods

coarbitrary :: PixelRGBA8 -> Gen b -> Gen b

Observe () Color Color

Methods

observe :: () -> Color -> Color