Safe Haskell	Safe-Inferred
Language	Haskell2010

Potato.Flow.Math

Contents

Orphan instances

Synopsis

type XY = V2 Int
data LBox = LBox {
- _lBox_tl :: XY
- _lBox_size :: XY
}
nilLBox :: LBox
make_0area_lBox_from_XY :: XY -> LBox
make_1area_lBox_from_XY :: XY -> LBox
make_lBox_from_XYs :: XY -> XY -> LBox
make_lBox_from_XYlist :: [XY] -> LBox
does_lBox_contains_XY :: LBox -> XY -> Bool
lBox_tl :: LBox -> XY
lBox_area :: LBox -> Int
lBox_to_axis :: LBox -> (Int, Int, Int, Int)
translate_lBox :: XY -> LBox -> LBox
add_XY_to_lBox :: XY -> LBox -> LBox
make_lBox_from_axis :: (Int, Int, Int, Int) -> LBox
union_lBox :: LBox -> LBox -> LBox
lBox_expand :: LBox -> (Int, Int, Int, Int) -> LBox
intersect_lBox :: LBox -> LBox -> Maybe LBox
intersect_lBox_include_zero_area :: LBox -> LBox -> Maybe LBox
does_lBox_intersect :: LBox -> LBox -> Bool
does_lBox_intersect_include_zero_area :: LBox -> LBox -> Bool
substract_lBox :: LBox -> LBox -> [LBox]
data CanonicalLBox = CanonicalLBox Bool Bool LBox
canonicalLBox_from_lBox :: LBox -> CanonicalLBox
canonicalLBox_from_lBox_ :: LBox -> LBox
lBox_from_canonicalLBox :: CanonicalLBox -> LBox
deltaLBox_via_canonicalLBox :: CanonicalLBox -> DeltaLBox -> DeltaLBox
lBox_isCanonicalLBox :: LBox -> Bool
class Delta x dx where
- plusDelta :: x -> dx -> x
- minusDelta :: x -> dx -> x
newtype DeltaXY = DeltaXY XY
data DeltaLBox = DeltaLBox {
- _deltaLBox_translate :: XY
- _deltaLBox_resizeBy :: XY
}
module Linear.V2

Documentation

type XY = V2 Int Source #

data LBox Source #

a point in screen space should only be used by VC, so does not belong here newtype VPoint = VPoint (Int, Int) deriving (Generic, Show, FromJSON, ToJSON)

a box in logical space note size is non inclusive e.g. an LBox with size (1,1) is exactly 1 point at ul e.g. an LBox with size (0,0) contains nothing

Constructors

LBox
Fields _lBox_tl :: XY _lBox_size :: XY

Instances

Instances details

FromJSON LBox Source #
Instance details Defined in Potato.Flow.Math Methods parseJSON :: Value -> Parser LBox # parseJSONList :: Value -> Parser [LBox] #
ToJSON LBox Source #
Instance details Defined in Potato.Flow.Math Methods toJSON :: LBox -> Value # toEncoding :: LBox -> Encoding # toJSONList :: [LBox] -> Value # toEncodingList :: [LBox] -> Encoding #
Generic LBox Source #
Instance details Defined in Potato.Flow.Math Associated Types type Rep LBox :: Type -> Type # Methods from :: LBox -> Rep LBox x # to :: Rep LBox x -> LBox #
Show LBox Source #
Instance details Defined in Potato.Flow.Math Methods showsPrec :: Int -> LBox -> ShowS # show :: LBox -> String # showList :: [LBox] -> ShowS #
Binary LBox Source #
Instance details Defined in Potato.Flow.Math Methods put :: LBox -> Put # get :: Get LBox # putList :: [LBox] -> Put #
NFData LBox Source #
Instance details Defined in Potato.Flow.Math Methods rnf :: LBox -> () #
Eq LBox Source #
Instance details Defined in Potato.Flow.Math Methods (==) :: LBox -> LBox -> Bool # (/=) :: LBox -> LBox -> Bool #
TransformMe LBox Source #
Instance details Defined in Potato.Flow.Methods.LineTypes Methods transformMe_rotateLeft :: LBox -> LBox Source # transformMe_rotateRight :: LBox -> LBox Source # transformMe_reflectHorizontally :: LBox -> LBox Source # transformMe_reflectVertically :: LBox -> LBox Source #
Delta LBox DeltaLBox Source #
Instance details Defined in Potato.Flow.Math Methods plusDelta :: LBox -> DeltaLBox -> LBox Source # minusDelta :: LBox -> DeltaLBox -> LBox Source #
type Rep LBox Source #
Instance details Defined in Potato.Flow.Math type Rep LBox = D1 ('MetaData "LBox" "Potato.Flow.Math" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'False) (C1 ('MetaCons "LBox" 'PrefixI 'True) (S1 ('MetaSel ('Just "_lBox_tl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XY) :*: S1 ('MetaSel ('Just "_lBox_size") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XY)))

nilLBox :: LBox Source #

make_0area_lBox_from_XY :: XY -> LBox Source #

returns a 0 area LBox

make_1area_lBox_from_XY :: XY -> LBox Source #

returns a 1 area LBox

make_lBox_from_XYs :: XY -> XY -> LBox Source #

always returns a canonical LBox

make_lBox_from_XYlist :: [XY] -> LBox Source #

always returns a canonical LBox

does_lBox_contains_XY :: LBox -> XY -> Bool Source #

lBox_tl :: LBox -> XY Source #

lBox_area :: LBox -> Int Source #

lBox_to_axis :: LBox -> (Int, Int, Int, Int) Source #

(left, right, top, bottom) right and bottom are non-inclusive

translate_lBox :: XY -> LBox -> LBox Source #

add_XY_to_lBox :: XY -> LBox -> LBox Source #

always returns a canonical LBox bottom/right XYs cells are not included in

make_lBox_from_axis :: (Int, Int, Int, Int) -> LBox Source #

right and bottom axis are non-inclusive

union_lBox :: LBox -> LBox -> LBox Source #

inverted LBox are treated as if not inverted

lBox_expand :: LBox -> (Int, Int, Int, Int) -> LBox Source #

intersect_lBox :: LBox -> LBox -> Maybe LBox Source #

inverted LBox are treated as if not inverted

intersect_lBox_include_zero_area :: LBox -> LBox -> Maybe LBox Source #

does_lBox_intersect :: LBox -> LBox -> Bool Source #

does_lBox_intersect_include_zero_area :: LBox -> LBox -> Bool Source #

substract_lBox :: LBox -> LBox -> [LBox] Source #

substract lb2 from lb1 and return [LBox] representing the difference

data CanonicalLBox Source #

CanonicalLBox is always has non-negative width/height and tracks which axis are flipped to return back to original LBox first Bool is if x values are flipped, second is for y

Constructors

CanonicalLBox Bool Bool LBox

canonicalLBox_from_lBox :: LBox -> CanonicalLBox Source #

canonicalLBox_from_lBox_ :: LBox -> LBox Source #

same as canonicalLBox_from_lBox but returns just the canonical LBox

lBox_from_canonicalLBox :: CanonicalLBox -> LBox Source #

deltaLBox_via_canonicalLBox :: CanonicalLBox -> DeltaLBox -> DeltaLBox Source #

lBox_isCanonicalLBox :: LBox -> Bool Source #

class Delta x dx where Source #

Methods

plusDelta :: x -> dx -> x Source #

minusDelta :: x -> dx -> x Source #

Instances

Instances details

Delta LBox DeltaLBox Source #
Instance details Defined in Potato.Flow.Math Methods plusDelta :: LBox -> DeltaLBox -> LBox Source # minusDelta :: LBox -> DeltaLBox -> LBox Source #
Delta XY DeltaXY Source #
Instance details Defined in Potato.Flow.Math Methods plusDelta :: XY -> DeltaXY -> XY Source # minusDelta :: XY -> DeltaXY -> XY Source #
Delta XY XY Source #
Instance details Defined in Potato.Flow.Math Methods plusDelta :: XY -> XY -> XY Source # minusDelta :: XY -> XY -> XY Source #
Delta LineStyle DeltaLineStyle Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: LineStyle -> DeltaLineStyle -> LineStyle Source # minusDelta :: LineStyle -> DeltaLineStyle -> LineStyle Source #
Delta SAutoLine CLine Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: SAutoLine -> CLine -> SAutoLine Source # minusDelta :: SAutoLine -> CLine -> SAutoLine Source #
Delta SBox CBoxText Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: SBox -> CBoxText -> SBox Source # minusDelta :: SBox -> CBoxText -> SBox Source #
Delta SBox CBoxType Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: SBox -> CBoxType -> SBox Source # minusDelta :: SBox -> CBoxType -> SBox Source #
Delta SBoxText CBoxText Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: SBoxText -> CBoxText -> SBoxText Source # minusDelta :: SBoxText -> CBoxText -> SBoxText Source #
Delta SElt DeltaTextAreaToggle Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: SElt -> DeltaTextAreaToggle -> SElt Source # minusDelta :: SElt -> DeltaTextAreaToggle -> SElt Source #
Delta SEltLabel CRename Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: SEltLabel -> CRename -> SEltLabel Source # minusDelta :: SEltLabel -> CRename -> SEltLabel Source #
Delta SuperStyle DeltaSuperStyle Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: SuperStyle -> DeltaSuperStyle -> SuperStyle Source # minusDelta :: SuperStyle -> DeltaSuperStyle -> SuperStyle Source #
Delta TextAlign DeltaTextAlign Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: TextAlign -> DeltaTextAlign -> TextAlign Source # minusDelta :: TextAlign -> DeltaTextAlign -> TextAlign Source #
Delta TextAreaMapping DeltaTextArea Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: TextAreaMapping -> DeltaTextArea -> TextAreaMapping Source # minusDelta :: TextAreaMapping -> DeltaTextArea -> TextAreaMapping Source #
Delta TextStyle DeltaTextStyle Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: TextStyle -> DeltaTextStyle -> TextStyle Source # minusDelta :: TextStyle -> DeltaTextStyle -> TextStyle Source #
(Show a, Eq a) => Delta a (a, a) Source #
Instance details Defined in Potato.Flow.Math Methods plusDelta :: a -> (a, a) -> a Source # minusDelta :: a -> (a, a) -> a Source #
Delta (Maybe Text) DeltaMaybeText Source #
Instance details Defined in Potato.Flow.Types Methods plusDelta :: Maybe Text -> DeltaMaybeText -> Maybe Text Source # minusDelta :: Maybe Text -> DeltaMaybeText -> Maybe Text Source #
(Delta a c, Delta b d) => Delta (a, b) (c, d) Source #
Instance details Defined in Potato.Flow.Math Methods plusDelta :: (a, b) -> (c, d) -> (a, b) Source # minusDelta :: (a, b) -> (c, d) -> (a, b) Source #

newtype DeltaXY Source #

Constructors

DeltaXY XY

Instances

Instances details

Generic DeltaXY Source #
Instance details Defined in Potato.Flow.Math Associated Types type Rep DeltaXY :: Type -> Type # Methods from :: DeltaXY -> Rep DeltaXY x # to :: Rep DeltaXY x -> DeltaXY #
Show DeltaXY Source #
Instance details Defined in Potato.Flow.Math Methods showsPrec :: Int -> DeltaXY -> ShowS # show :: DeltaXY -> String # showList :: [DeltaXY] -> ShowS #
NFData DeltaXY Source #
Instance details Defined in Potato.Flow.Math Methods rnf :: DeltaXY -> () #
Eq DeltaXY Source #
Instance details Defined in Potato.Flow.Math Methods (==) :: DeltaXY -> DeltaXY -> Bool # (/=) :: DeltaXY -> DeltaXY -> Bool #
Delta XY DeltaXY Source #
Instance details Defined in Potato.Flow.Math Methods plusDelta :: XY -> DeltaXY -> XY Source # minusDelta :: XY -> DeltaXY -> XY Source #
type Rep DeltaXY Source #
Instance details Defined in Potato.Flow.Math type Rep DeltaXY = D1 ('MetaData "DeltaXY" "Potato.Flow.Math" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'True) (C1 ('MetaCons "DeltaXY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XY)))

data DeltaLBox Source #

Constructors

DeltaLBox
Fields _deltaLBox_translate :: XY _deltaLBox_resizeBy :: XY

Instances

Instances details

Generic DeltaLBox Source #
Instance details Defined in Potato.Flow.Math Associated Types type Rep DeltaLBox :: Type -> Type # Methods from :: DeltaLBox -> Rep DeltaLBox x # to :: Rep DeltaLBox x -> DeltaLBox #
Show DeltaLBox Source #
Instance details Defined in Potato.Flow.Math Methods showsPrec :: Int -> DeltaLBox -> ShowS # show :: DeltaLBox -> String # showList :: [DeltaLBox] -> ShowS #
NFData DeltaLBox Source #
Instance details Defined in Potato.Flow.Math Methods rnf :: DeltaLBox -> () #
Eq DeltaLBox Source #
Instance details Defined in Potato.Flow.Math Methods (==) :: DeltaLBox -> DeltaLBox -> Bool # (/=) :: DeltaLBox -> DeltaLBox -> Bool #
Delta LBox DeltaLBox Source #
Instance details Defined in Potato.Flow.Math Methods plusDelta :: LBox -> DeltaLBox -> LBox Source # minusDelta :: LBox -> DeltaLBox -> LBox Source #
type Rep DeltaLBox Source #
Instance details Defined in Potato.Flow.Math type Rep DeltaLBox = D1 ('MetaData "DeltaLBox" "Potato.Flow.Math" "tinytools-0.1.0.0-DrleRpyeSqeBtRJXQdRmv7" 'False) (C1 ('MetaCons "DeltaLBox" 'PrefixI 'True) (S1 ('MetaSel ('Just "_deltaLBox_translate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XY) :*: S1 ('MetaSel ('Just "_deltaLBox_resizeBy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 XY)))

module Linear.V2

Orphan instances

FromJSON XY Source #
Instance details Methods parseJSON :: Value -> Parser XY # parseJSONList :: Value -> Parser [XY] #
FromJSONKey XY Source #
Instance details Methods fromJSONKey :: FromJSONKeyFunction XY # fromJSONKeyList :: FromJSONKeyFunction [XY] #
ToJSON XY Source #
Instance details Methods toJSON :: XY -> Value # toEncoding :: XY -> Encoding # toJSONList :: [XY] -> Value # toEncodingList :: [XY] -> Encoding #
ToJSONKey XY Source #
Instance details Methods toJSONKey :: ToJSONKeyFunction XY # toJSONKeyList :: ToJSONKeyFunction [XY] #