Types

Types and classes for creating symmtery images using the domain coloring algortihm.

Documentation

data ColorSource a p

A color source can be either a JuicyPixels image or a function from a complex number to a pixel.

Constructors

Picture (Image p)

Function (Complex a -> p)

data Coef a

The coefficents used to build a symmetry recipe, C_nm. A coeffient is a doubley indexed complex number

Constructors

Coef

Fields

• nCoord :: Int

  The first index.

• mCoord :: Int

  The second index.

• anm :: Complex a

  The coefficient.

Instances

Functor Coef

Methods

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

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

Eq a => Eq (Coef a)

Methods

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

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

Show a => Show (Coef a)

Methods

showsPrec :: Int -> Coef a -> ShowS

show :: Coef a -> String

showList :: [Coef a] -> ShowS

FromJSON a => FromJSON (Coef a)

Methods

parseJSON :: Value -> Parser (Coef a)

parseJSONList :: Value -> Parser [Coef a]

data Options a

Settings for the size, repeat lenght, and scaling factor for creating a a domain coloring.

Constructors

Options

Fields

• width :: Int

  The width of the created image.

• height :: Int

  The height of the created iamge.

• repLength :: Int

  The length of the pattern to repeat.

• scale :: a

  Usually set less than 1, to compensate for the fact that the color wheel is not infinite.

Instances

Functor Options

Methods

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

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

Eq a => Eq (Options a)

Methods

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

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

Show a => Show (Options a)

Methods

showsPrec :: Int -> Options a -> ShowS

show :: Options a -> String

showList :: [Options a] -> ShowS

FromJSON a => FromJSON (Options a)

Methods

parseJSON :: Value -> Parser (Options a)

parseJSONList :: Value -> Parser [Options a]

defaultOpts :: Options Double

The defaul Options creates a square 750 x 750 pixel image, with a repeat of 150 pixels and scales the pixel lookup coordintes by 1/2.

data SymmetryGroup a

The 17 Wallpaper groups and 7 Frieze groups.

Constructors

P1 a a

Arguments are ξ and η. The lattice vectors are 1 and ξ + i η.

P2 a a

Arguments are ξ and η. The lattice vectors are 1 and ξ + i η.

CM a

The argument is b with lattice vectors 1/2 +- ib.

CMM a

The argument is b with lattice vectors 1/2 +- ib.

PM a

The argument is L with lattice vectors 1 and iL.

PG a

The argument is L with lattice vectors 1 and iL.

PMM a

The argument is L with lattice vectors 1 and iL.

PMG a

The argument is L with lattice vectors 1 and iL.

PGG a

The argument is L with lattice vectors 1 and iL.

P4

P4M

P4G

P3

P31M

P3M1

P6

P6M

P111

P211

P1M1

P11M

P11G

P2MM

P2MG

Instances

Functor SymmetryGroup

Methods

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

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

Eq a => Eq (SymmetryGroup a)

Methods

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

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

Show a => Show (SymmetryGroup a)

Methods

showsPrec :: Int -> SymmetryGroup a -> ShowS

show :: SymmetryGroup a -> String

showList :: [SymmetryGroup a] -> ShowS

FromJSON a => FromJSON (SymmetryGroup a)

Methods

parseJSON :: Value -> Parser (SymmetryGroup a)

parseJSONList :: Value -> Parser [SymmetryGroup a]

data PreProcess

What to do the color wheel before creating the Wallpaper.

Constructors

FlipHorizontal

FlipVertical

FlipBoth

Invert

AntiSymmHorizontal

AntiSymmVertical

None

Instances

Eq PreProcess

Methods

(==) :: PreProcess -> PreProcess -> Bool

(/=) :: PreProcess -> PreProcess -> Bool

Show PreProcess

Methods

showsPrec :: Int -> PreProcess -> ShowS

show :: PreProcess -> String

showList :: [PreProcess] -> ShowS

FromJSON PreProcess

Methods

parseJSON :: Value -> Parser PreProcess

parseJSONList :: Value -> Parser [PreProcess]

data WPtype a

The type of wallpaper to produce.

Constructors

Plain

Morph a

Blend (SymmetryGroup a)

Instances

Functor WPtype

Methods

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

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

Eq a => Eq (WPtype a)

Methods

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

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

Show a => Show (WPtype a)

Methods

showsPrec :: Int -> WPtype a -> ShowS

show :: WPtype a -> String

showList :: [WPtype a] -> ShowS

FromJSON a => FromJSON (WPtype a)

Methods

parseJSON :: Value -> Parser (WPtype a)

parseJSONList :: Value -> Parser [WPtype a]

data Wallpaper a

Settings for creating a wallpaper.

Constructors

Wallpaper

Fields

• wpGroup :: SymmetryGroup a
• wpCoefs :: [Coef a]
• wpType :: WPtype a
• wpOptions :: Options a
• wpWheel :: Maybe FilePath
• wpProcess :: PreProcess
• wpPath :: FilePath

Instances

Functor Wallpaper

Methods

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

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

Eq a => Eq (Wallpaper a)

Methods

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

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

Show a => Show (Wallpaper a)

Methods

showsPrec :: Int -> Wallpaper a -> ShowS

show :: Wallpaper a -> String

showList :: [Wallpaper a] -> ShowS

FromJSON a => FromJSON (Wallpaper a)

Methods

parseJSON :: Value -> Parser (Wallpaper a)

parseJSONList :: Value -> Parser [Wallpaper a]

data Rosette a

Settings for creating a rosette.

Constructors

Rosette

Fields

• rsFoldSym :: Int
• rsMirror :: Bool
• rsCoefs :: [Coef a]
• rsOptions :: Options a
• rsWheel :: Maybe FilePath
• rsProcess :: PreProcess
• rsPath :: FilePath

Instances

Functor Rosette

Methods

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

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

Eq a => Eq (Rosette a)

Methods

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

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

Show a => Show (Rosette a)

Methods

showsPrec :: Int -> Rosette a -> ShowS

show :: Rosette a -> String

showList :: [Rosette a] -> ShowS

FromJSON a => FromJSON (Rosette a)

Methods

parseJSON :: Value -> Parser (Rosette a)

parseJSONList :: Value -> Parser [Rosette a]

data Function a

Settings for creating a phase portrait.

Constructors

Fn

Fields

• fnOptions :: Options a
• fnWeel :: FilePath
• fnProcess :: PreProcess
• fnPath :: FilePath

Instances

Functor Function

Methods

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

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

Eq a => Eq (Function a)

Methods

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

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

Show a => Show (Function a)

Methods

showsPrec :: Int -> Function a -> ShowS

show :: Function a -> String

showList :: [Function a] -> ShowS

type Recipe a = Complex a -> Complex a

A Recipe is a mapping from the complex plange to the complex plane.

class Invertible a where

Invert the color of a pixel.

Minimal complete definition

invert

Methods

invert :: a -> a

Instances

Invertible Pixel8

Methods

invert :: Pixel8 -> Pixel8

Invertible PixelYA8

Methods

invert :: PixelYA8 -> PixelYA8

Invertible PixelRGB8

Methods

invert :: PixelRGB8 -> PixelRGB8

Invertible PixelYCbCr8

Methods

invert :: PixelYCbCr8 -> PixelYCbCr8

Invertible PixelCMYK8

Methods

invert :: PixelCMYK8 -> PixelCMYK8

Invertible PixelRGBA8

Methods

invert :: PixelRGBA8 -> PixelRGBA8

class BlackWhite a where

Pixels that can be set to black and white.

Minimal complete definition

black, white

Methods

black :: a

white :: a

Instances

BlackWhite Pixel8

Methods

black :: Pixel8

white :: Pixel8

BlackWhite PixelYA8

Methods

black :: PixelYA8

white :: PixelYA8

BlackWhite PixelRGB8

Methods

black :: PixelRGB8

white :: PixelRGB8

BlackWhite PixelYCbCr8

Methods

black :: PixelYCbCr8

white :: PixelYCbCr8

BlackWhite PixelCMYK8

Methods

black :: PixelCMYK8

white :: PixelCMYK8

BlackWhite PixelRGBA8

Methods

black :: PixelRGBA8

white :: PixelRGBA8

Orphan instances

FromJSON a => FromJSON (Complex a)

Methods

parseJSON :: Value -> Parser (Complex a)

parseJSONList :: Value -> Parser [Complex a]