hgeometry-0.12.0.2: Geometric Algorithms, Data structures, and Data types.
Copyright(C) Frank Staals
Licensesee the LICENSE file
MaintainerFrank Staals
Safe HaskellNone
LanguageHaskell2010

Algorithms.Geometry.LinearProgramming.Types

Description

2D Linear programming in expected linear time.

Synopsis

Documentation

data LPSolution d r Source #

Data type representing the solution to a linear program

Constructors

NoSolution 
Single !(Point d r) 
UnBounded (HalfLine d r) 

Instances

Instances details
(Arity d, Eq r, Fractional r) => Eq (LPSolution d r) Source # 
Instance details

Defined in Algorithms.Geometry.LinearProgramming.Types

Methods

(==) :: LPSolution d r -> LPSolution d r -> Bool #

(/=) :: LPSolution d r -> LPSolution d r -> Bool #

(Arity d, Show r) => Show (LPSolution d r) Source # 
Instance details

Defined in Algorithms.Geometry.LinearProgramming.Types

Methods

showsPrec :: Int -> LPSolution d r -> ShowS #

show :: LPSolution d r -> String #

showList :: [LPSolution d r] -> ShowS #

_UnBounded :: forall d r. Prism' (LPSolution d r) (HalfLine d r) Source #

_Single :: forall d r. Prism' (LPSolution d r) (Point d r) Source #

_NoSolution :: forall d r. Prism' (LPSolution d r) () Source #

data LinearProgram d r Source #

Constructors

LinearProgram 

Fields

Instances

Instances details
Arity d => Functor (LinearProgram d) Source # 
Instance details

Defined in Algorithms.Geometry.LinearProgramming.Types

Methods

fmap :: (a -> b) -> LinearProgram d a -> LinearProgram d b #

(<$) :: a -> LinearProgram d b -> LinearProgram d a #

(Arity d, Fractional r, Eq r) => Eq (LinearProgram d r) Source # 
Instance details

Defined in Algorithms.Geometry.LinearProgramming.Types

Methods

(==) :: LinearProgram d r -> LinearProgram d r -> Bool #

(/=) :: LinearProgram d r -> LinearProgram d r -> Bool #

(Arity d, Show r) => Show (LinearProgram d r) Source # 
Instance details

Defined in Algorithms.Geometry.LinearProgramming.Types

objective :: forall d r. Lens' (LinearProgram d r) (Vector d r) Source #

constraints :: forall d r. Lens' (LinearProgram d r) [HalfSpace d r] Source #