Homoiconic.Homogeneous

FAlgebra

class (Functor (Sig alg), Foldable (Sig alg), Typeable alg) => FAlgebra alg where

Minimal complete definition

runSig

Associated Types

type ParentClasses alg :: [Type -> Constraint]

data Sig alg a

Methods

runSig :: alg a => Sig alg a -> a

Instances

FAlgebra Eq

Associated Types

type ParentClasses (Eq :: Type -> Constraint) :: [Type -> Constraint]

data Sig (Eq :: Type -> Constraint) a :: *

Methods

runSig :: Eq a => Sig Eq a -> a

FAlgebra Floating

Associated Types

type ParentClasses (Floating :: Type -> Constraint) :: [Type -> Constraint]

data Sig (Floating :: Type -> Constraint) a :: *

Methods

runSig :: Floating a => Sig Floating a -> a

FAlgebra Fractional

Associated Types

type ParentClasses (Fractional :: Type -> Constraint) :: [Type -> Constraint]

data Sig (Fractional :: Type -> Constraint) a :: *

Methods

runSig :: Fractional a => Sig Fractional a -> a

FAlgebra Num

Associated Types

type ParentClasses (Num :: Type -> Constraint) :: [Type -> Constraint]

data Sig (Num :: Type -> Constraint) a :: *

Methods

runSig :: Num a => Sig Num a -> a

FAlgebra Ord

Associated Types

type ParentClasses (Ord :: Type -> Constraint) :: [Type -> Constraint]

data Sig (Ord :: Type -> Constraint) a :: *

Methods

runSig :: Ord a => Sig Ord a -> a

data Free f a where

Constructors

Free :: f (Free f a) -> Free f a

Pure :: a -> Free f a

Instances

Functor f => Functor (Free f)

Methods

fmap :: (a -> b) -> Free f a -> Free f b

(<$) :: a -> Free f b -> Free f a

(Functor f, Foldable f) => Foldable (Free f)

Methods

fold :: Monoid m => Free f m -> m

foldMap :: Monoid m => (a -> m) -> Free f a -> m

foldr :: (a -> b -> b) -> b -> Free f a -> b

foldr' :: (a -> b -> b) -> b -> Free f a -> b

foldl :: (b -> a -> b) -> b -> Free f a -> b

foldl' :: (b -> a -> b) -> b -> Free f a -> b

foldr1 :: (a -> a -> a) -> Free f a -> a

foldl1 :: (a -> a -> a) -> Free f a -> a

toList :: Free f a -> [a]

null :: Free f a -> Bool

length :: Free f a -> Int

elem :: Eq a => a -> Free f a -> Bool

maximum :: Ord a => Free f a -> a

minimum :: Ord a => Free f a -> a

sum :: Num a => Free f a -> a

product :: Num a => Free f a -> a

(Eq a, Eq (f (Free f a))) => Eq (Free f a)

Methods

(==) :: Free f a -> Free f a -> Bool

(/=) :: Free f a -> Free f a -> Bool

(View Floating alg', View Fractional alg', View Num alg') => Floating (Free (Sig alg') a)

Methods

pi :: Free (Sig alg') a

exp :: Free (Sig alg') a -> Free (Sig alg') a

log :: Free (Sig alg') a -> Free (Sig alg') a

sqrt :: Free (Sig alg') a -> Free (Sig alg') a

(**) :: Free (Sig alg') a -> Free (Sig alg') a -> Free (Sig alg') a

logBase :: Free (Sig alg') a -> Free (Sig alg') a -> Free (Sig alg') a

sin :: Free (Sig alg') a -> Free (Sig alg') a

cos :: Free (Sig alg') a -> Free (Sig alg') a

tan :: Free (Sig alg') a -> Free (Sig alg') a

asin :: Free (Sig alg') a -> Free (Sig alg') a

acos :: Free (Sig alg') a -> Free (Sig alg') a

atan :: Free (Sig alg') a -> Free (Sig alg') a

sinh :: Free (Sig alg') a -> Free (Sig alg') a

cosh :: Free (Sig alg') a -> Free (Sig alg') a

tanh :: Free (Sig alg') a -> Free (Sig alg') a

asinh :: Free (Sig alg') a -> Free (Sig alg') a

acosh :: Free (Sig alg') a -> Free (Sig alg') a

atanh :: Free (Sig alg') a -> Free (Sig alg') a

log1p :: Free (Sig alg') a -> Free (Sig alg') a

expm1 :: Free (Sig alg') a -> Free (Sig alg') a

log1pexp :: Free (Sig alg') a -> Free (Sig alg') a

log1mexp :: Free (Sig alg') a -> Free (Sig alg') a

(View Fractional alg', View Num alg') => Fractional (Free (Sig alg') a)

Methods

(/) :: Free (Sig alg') a -> Free (Sig alg') a -> Free (Sig alg') a

recip :: Free (Sig alg') a -> Free (Sig alg') a

fromRational :: Rational -> Free (Sig alg') a

View Num alg' => Num (Free (Sig alg') a)

Methods

(+) :: Free (Sig alg') a -> Free (Sig alg') a -> Free (Sig alg') a

(-) :: Free (Sig alg') a -> Free (Sig alg') a -> Free (Sig alg') a

(*) :: Free (Sig alg') a -> Free (Sig alg') a -> Free (Sig alg') a

negate :: Free (Sig alg') a -> Free (Sig alg') a

abs :: Free (Sig alg') a -> Free (Sig alg') a

signum :: Free (Sig alg') a -> Free (Sig alg') a

fromInteger :: Integer -> Free (Sig alg') a

(Eq a, Eq (Sig alg' (Free (Sig alg') a)), View Ord alg', View Eq alg') => Ord (Free (Sig alg') a)

Methods

compare :: Free (Sig alg') a -> Free (Sig alg') a -> Ordering

(<) :: Free (Sig alg') a -> Free (Sig alg') a -> Bool

(<=) :: Free (Sig alg') a -> Free (Sig alg') a -> Bool

(>) :: Free (Sig alg') a -> Free (Sig alg') a -> Bool

(>=) :: Free (Sig alg') a -> Free (Sig alg') a -> Bool

max :: Free (Sig alg') a -> Free (Sig alg') a -> Free (Sig alg') a

min :: Free (Sig alg') a -> Free (Sig alg') a -> Free (Sig alg') a

(Show a, Show (f (Free f a))) => Show (Free f a)

Methods

showsPrec :: Int -> Free f a -> ShowS

show :: Free f a -> String

showList :: [Free f a] -> ShowS

type AST alg a = Free (Sig alg) a

runAST :: (FAlgebra alg, alg a) => AST alg a -> a

class (FAlgebra alg1, FAlgebra alg2) => View alg1 alg2 where

Minimal complete definition

embedSig, unsafeExtractSig

Methods

embedSig :: Sig alg1 a -> Sig alg2 a

unsafeExtractSig :: Sig alg2 a -> Sig alg1 a

Instances

View Eq Ord

Methods

embedSig :: Sig Eq a -> Sig Ord a

unsafeExtractSig :: Sig Ord a -> Sig Eq a

View Fractional Floating

Methods

embedSig :: Sig Fractional a -> Sig Floating a

unsafeExtractSig :: Sig Floating a -> Sig Fractional a

View Num Floating

Methods

embedSig :: Sig Num a -> Sig Floating a

unsafeExtractSig :: Sig Floating a -> Sig Num a

View Num Fractional

Methods

embedSig :: Sig Num a -> Sig Fractional a

unsafeExtractSig :: Sig Fractional a -> Sig Num a

FAlgebra alg => View alg alg

Methods

embedSig :: Sig alg a -> Sig alg a

unsafeExtractSig :: Sig alg a -> Sig alg a

Variables

data Var

Instances

Eq Var

Methods

(==) :: Var -> Var -> Bool

(/=) :: Var -> Var -> Bool

Show Var

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

mkExprVar :: String -> AST alg Var

var1 :: AST alg Var

var2 :: AST alg Var

var3 :: AST alg Var

Template Haskell

mkFAlgebra :: Name -> Q [Dec]

Constructs instances for FAlgebra and related classes.