Safe Haskell	Safe
Language	Haskell2010

DDF.UnHOAS

Documentation

newtype UnHOAS repr h x Source #

Constructors

UnHOAS
Fields runUnHOAS :: repr h x

Instances

DBI repr => DBI (UnHOAS repr) Source #
Methods z :: UnHOAS repr (a, h) a Source # s :: UnHOAS repr h b -> UnHOAS repr (a, h) b Source # abs :: UnHOAS repr (a, h) b -> UnHOAS repr h (a -> b) Source # app :: UnHOAS repr h (a -> b) -> UnHOAS repr h a -> UnHOAS repr h b Source # hoas :: (UnHOAS repr (a, h) a -> UnHOAS repr (a, h) b) -> UnHOAS repr h (a -> b) Source # com :: UnHOAS repr h ((b -> c) -> (a -> b) -> a -> c) Source # flip :: UnHOAS repr h ((a -> b -> c) -> b -> a -> c) Source # id :: UnHOAS repr h (a -> a) Source # const :: UnHOAS repr h (a -> b -> a) Source # scomb :: UnHOAS repr h ((a -> b -> c) -> (a -> b) -> a -> c) Source # dup :: UnHOAS repr h ((a -> a -> b) -> a -> b) Source # let_ :: UnHOAS repr h (a -> (a -> b) -> b) Source #
Bool r => Bool (UnHOAS r) Source #
Methods bool :: Bool -> UnHOAS r h Bool Source # ite :: UnHOAS r h (a -> a -> Bool -> a) Source #
Lang repr => Lang (UnHOAS repr) Source #
Methods mkProd :: UnHOAS repr h (a -> b -> (a, b)) Source # zro :: UnHOAS repr h ((a, b) -> a) Source # fst :: UnHOAS repr h ((a, b) -> b) Source # double :: Double -> UnHOAS repr h Double Source # doubleZero :: UnHOAS repr h Double Source # doubleOne :: UnHOAS repr h Double Source # doublePlus :: UnHOAS repr h (Double -> Double -> Double) Source # doubleMinus :: UnHOAS repr h (Double -> Double -> Double) Source # doubleMult :: UnHOAS repr h (Double -> Double -> Double) Source # doubleDivide :: UnHOAS repr h (Double -> Double -> Double) Source # doubleExp :: UnHOAS repr h (Double -> Double) Source # float :: Float -> UnHOAS repr h Float Source # floatZero :: UnHOAS repr h Float Source # floatOne :: UnHOAS repr h Float Source # floatPlus :: UnHOAS repr h (Float -> Float -> Float) Source # floatMinus :: UnHOAS repr h (Float -> Float -> Float) Source # floatMult :: UnHOAS repr h (Float -> Float -> Float) Source # floatDivide :: UnHOAS repr h (Float -> Float -> Float) Source # floatExp :: UnHOAS repr h (Float -> Float) Source # fix :: UnHOAS repr h ((a -> a) -> a) Source # left :: UnHOAS repr h (a -> Either a b) Source # right :: UnHOAS repr h (b -> Either a b) Source # sumMatch :: UnHOAS repr h ((a -> c) -> (b -> c) -> Either a b -> c) Source # unit :: UnHOAS repr h () Source # exfalso :: UnHOAS repr h (Void -> a) Source # nothing :: UnHOAS repr h (Maybe a) Source # just :: UnHOAS repr h (a -> Maybe a) Source # optionMatch :: UnHOAS repr h (b -> (a -> b) -> Maybe a -> b) Source # ioRet :: UnHOAS repr h (a -> IO a) Source # ioBind :: UnHOAS repr h (IO a -> (a -> IO b) -> IO b) Source # ioMap :: UnHOAS repr h ((a -> b) -> IO a -> IO b) Source # nil :: UnHOAS repr h [a] Source # cons :: UnHOAS repr h (a -> [a] -> [a]) Source # listMatch :: UnHOAS repr h (b -> (a -> [a] -> b) -> [a] -> b) Source # listAppend :: UnHOAS repr h ([a] -> [a] -> [a]) Source # writer :: UnHOAS repr h ((a, w) -> Writer w a) Source # runWriter :: UnHOAS repr h (Writer w a -> (a, w)) Source # swap :: UnHOAS repr h ((l, r) -> (r, l)) Source # curry :: UnHOAS repr h (((a, b) -> c) -> a -> b -> c) Source # uncurry :: UnHOAS repr h ((a -> b -> c) -> (a, b) -> c) Source # float2Double :: UnHOAS repr h (Float -> Double) Source # double2Float :: UnHOAS repr h (Double -> Float) Source # undefined :: UnHOAS repr h a Source # state :: UnHOAS repr h ((l -> (r, l)) -> State l r) Source # runState :: UnHOAS repr h (State l r -> l -> (r, l)) Source #