Algorithms.Geometry.LinearProgramming.Types

2D Linear programming in expected linear time.

Documentation

data LPSolution d r

Data type representing the solution to a linear program

Constructors

NoSolution

Single !(Point d r)

UnBounded (HalfLine d r)

Instances

(Arity d, Eq r) => Eq (LPSolution d r)

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)

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)

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

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

data LinearProgram d r

Constructors

LinearProgram

Fields

• _objective :: !(Vector d r)
• _constraints :: [HalfSpace d r]

Instances

Arity d => Functor (LinearProgram d)

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, Eq r) => Eq (LinearProgram d r)

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)

Defined in Algorithms.Geometry.LinearProgramming.Types

Methods

showsPrec :: Int -> LinearProgram d r -> ShowS

show :: LinearProgram d r -> String

showList :: [LinearProgram d r] -> ShowS

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

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