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)

PointFunctor (Triangle p)

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

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

Num r => IsTransformable (Triangle d r)

type NumType (Triangle p r) = 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.