Language.Hakaru.Runtime.CmdLine
newtype Measure a Source #
Constructors
Fields
Defined in Language.Hakaru.Runtime.CmdLine
Methods
(>>=) :: Measure a -> (a -> Measure b) -> Measure b #
(>>) :: Measure a -> Measure b -> Measure b #
return :: a -> Measure a #
fmap :: (a -> b) -> Measure a -> Measure b #
(<$) :: a -> Measure b -> Measure a #
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 #
makeMain :: Measure a -> [String] -> IO () Source #
makeMeasure :: (GenIO -> IO a) -> Measure a Source #
class Parseable a where Source #
parse :: String -> IO a Source #
parse :: String -> IO Double Source #
parse :: String -> IO Int Source #
Defined in Language.Hakaru.Runtime.LogFloatPrelude
parse :: String -> IO LogFloat Source #
parse :: String -> IO (Vector a) Source #
parse :: String -> IO (a, b) Source #
class MakeMain p where Source #
makeMain :: p -> [String] -> IO () Source #
makeMain :: a -> [String] -> IO () Source #
makeMain :: (a -> b) -> [String] -> IO () Source #