Data.Geometry.Triangle

Documentation

data Triangle p r

Constructors

Triangle (Point 2 r :+ p) (Point 2 r :+ p) (Point 2 r :+ p)

Instances

Functor (Triangle p)

Methods

fmap :: (a -> b) -> Triangle p a -> Triangle p b

(<$) :: a -> Triangle p b -> Triangle p a

PointFunctor (Triangle p)

Methods

pmap :: (Point (Dimension (Triangle p r)) r -> Point (Dimension (Triangle p s)) s) -> Triangle p r -> Triangle p s

(Eq r, Eq p) => Eq (Triangle p r)

Methods

(==) :: Triangle p r -> Triangle p r -> Bool

(/=) :: Triangle p r -> Triangle p r -> Bool

(Show r, Show p) => Show (Triangle p r)

Methods

showsPrec :: Int -> Triangle p r -> ShowS

show :: Triangle p r -> String

showList :: [Triangle p r] -> ShowS

Num r => IsTransformable (Triangle d r)

Methods

transformBy :: Transformation (Dimension (Triangle d r)) (NumType (Triangle d r)) -> Triangle d r -> Triangle d r

type NumType (Triangle p r)

type NumType (Triangle p r) = r

type Dimension (Triangle p r)

type Dimension (Triangle p r) = 2

area :: Fractional r => Triangle p r -> r

Compute the area of a triangle

doubleArea :: Num r => Triangle p r -> r

2*the area of a triangle.

inscribedDisk :: (Eq r, Fractional r) => Triangle p r -> Maybe (Disk () r)

get the inscribed disk. Returns Nothing if the triangle is degenerate, i.e. if the points are colinear.