Language.Hakaru.Runtime.CmdLine

Documentation

newtype Measure a

Constructors

Measure

Fields

• unMeasure :: GenIO -> IO (Maybe a)

Instances

Monad Measure

Methods

(>>=) :: Measure a -> (a -> Measure b) -> Measure b

(>>) :: Measure a -> Measure b -> Measure b

return :: a -> Measure a

fail :: String -> Measure a

Functor Measure

Methods

fmap :: (a -> b) -> Measure a -> Measure b

(<$) :: a -> Measure b -> Measure a

Applicative Measure

Methods

pure :: a -> Measure a

(<*>) :: Measure (a -> b) -> Measure a -> Measure b

liftA2 :: (a -> b -> c) -> Measure a -> Measure b -> Measure c

(*>) :: Measure a -> Measure b -> Measure b

(<*) :: Measure a -> Measure b -> Measure a

Show a => MakeMain (Measure a)

Methods

makeMain :: Measure a -> [String] -> IO ()

makeMeasure :: (GenIO -> IO a) -> Measure a

class Parseable a where

Minimal complete definition

parse

Methods

parse :: String -> IO a

Instances

Parseable Double

Methods

parse :: String -> IO Double

Parseable Int

Methods

parse :: String -> IO Int

Parseable LogFloat

Methods

parse :: String -> IO LogFloat

(Unbox a, Parseable a) => Parseable (Vector a)

Methods

parse :: String -> IO (Vector a)

(Read a, Read b) => Parseable (a, b)

Methods

parse :: String -> IO (a, b)

class MakeMain p where

Minimal complete definition

makeMain

Methods

makeMain :: p -> [String] -> IO ()

Instances

Show a => MakeMain a

Methods

makeMain :: a -> [String] -> IO ()

Show a => MakeMain (Measure a)

Methods

makeMain :: Measure a -> [String] -> IO ()

(Parseable a, MakeMain b) => MakeMain (a -> b)

Methods

makeMain :: (a -> b) -> [String] -> IO ()