keid-geometry-0.1.1.2: Geometry primitives for Keid engine.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Geometry.Tile.Microblob

Documentation

data Microblob a Source #

Instances

Instances details
Foldable Microblob Source # 
Instance details

Defined in Geometry.Tile.Microblob

Methods

fold :: Monoid m => Microblob m -> m #

foldMap :: Monoid m => (a -> m) -> Microblob a -> m #

foldMap' :: Monoid m => (a -> m) -> Microblob a -> m #

foldr :: (a -> b -> b) -> b -> Microblob a -> b #

foldr' :: (a -> b -> b) -> b -> Microblob a -> b #

foldl :: (b -> a -> b) -> b -> Microblob a -> b #

foldl' :: (b -> a -> b) -> b -> Microblob a -> b #

foldr1 :: (a -> a -> a) -> Microblob a -> a #

foldl1 :: (a -> a -> a) -> Microblob a -> a #

toList :: Microblob a -> [a] #

null :: Microblob a -> Bool #

length :: Microblob a -> Int #

elem :: Eq a => a -> Microblob a -> Bool #

maximum :: Ord a => Microblob a -> a #

minimum :: Ord a => Microblob a -> a #

sum :: Num a => Microblob a -> a #

product :: Num a => Microblob a -> a #

Traversable Microblob Source # 
Instance details

Defined in Geometry.Tile.Microblob

Methods

traverse :: Applicative f => (a -> f b) -> Microblob a -> f (Microblob b) #

sequenceA :: Applicative f => Microblob (f a) -> f (Microblob a) #

mapM :: Monad m => (a -> m b) -> Microblob a -> m (Microblob b) #

sequence :: Monad m => Microblob (m a) -> m (Microblob a) #

Applicative Microblob Source # 
Instance details

Defined in Geometry.Tile.Microblob

Methods

pure :: a -> Microblob a #

(<*>) :: Microblob (a -> b) -> Microblob a -> Microblob b #

liftA2 :: (a -> b -> c) -> Microblob a -> Microblob b -> Microblob c #

(*>) :: Microblob a -> Microblob b -> Microblob b #

(<*) :: Microblob a -> Microblob b -> Microblob a #

Functor Microblob Source # 
Instance details

Defined in Geometry.Tile.Microblob

Methods

fmap :: (a -> b) -> Microblob a -> Microblob b #

(<$) :: a -> Microblob b -> Microblob a #

Show a => Show (Microblob a) Source # 
Instance details

Defined in Geometry.Tile.Microblob

Eq a => Eq (Microblob a) Source # 
Instance details

Defined in Geometry.Tile.Microblob

Methods

(==) :: Microblob a -> Microblob a -> Bool #

(/=) :: Microblob a -> Microblob a -> Bool #

Ord a => Ord (Microblob a) Source # 
Instance details

Defined in Geometry.Tile.Microblob

Generic1 Microblob Source # 
Instance details

Defined in Geometry.Tile.Microblob

Associated Types

type Rep1 Microblob :: k -> Type #

Methods

from1 :: forall (a :: k). Microblob a -> Rep1 Microblob a #

to1 :: forall (a :: k). Rep1 Microblob a -> Microblob a #

type Rep1 Microblob Source # 
Instance details

Defined in Geometry.Tile.Microblob

type Rep1 Microblob = D1 ('MetaData "Microblob" "Geometry.Tile.Microblob" "keid-geometry-0.1.1.2-inplace" 'False) (C1 ('MetaCons "Microblob" 'PrefixI 'True) (((S1 ('MetaSel ('Just "brCornerInner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: (S1 ('MetaSel ('Just "blCornerInner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Just "trCornerInner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :*: (S1 ('MetaSel ('Just "tlCornerInner") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: (S1 ('MetaSel ('Just "tlCornerOuter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Just "ttEdgeHorizontal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1))) :*: ((S1 ('MetaSel ('Just "trCornerOuter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: (S1 ('MetaSel ('Just "llEdgeVertical") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Just "full") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)) :*: ((S1 ('MetaSel ('Just "rrEdgeVertical") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Just "blCornerOuter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1) :*: (S1 ('MetaSel ('Just "bbEdgeHorizontal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1 :*: S1 ('MetaSel ('Just "brCornerOuter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) Par1)))))