Conjure.Constructors

This module is part of Conjure.

This module defines the Constructors typeclass that allows listing constructors of a type encoded as Exprs

You are probably better off importing Conjure.

Documentation

class Express a => Constructors a where

Methods

expr1 :: a -> Expr

constructors :: a -> [Expr]

Instances

Constructors Bool

Defined in Conjure.Constructors

Methods

expr1 :: Bool -> Expr

constructors :: Bool -> [Expr]

Constructors Char

Defined in Conjure.Constructors

Methods

expr1 :: Char -> Expr

constructors :: Char -> [Expr]

Constructors Int

Defined in Conjure.Constructors

Methods

expr1 :: Int -> Expr

constructors :: Int -> [Expr]

Constructors Integer

Defined in Conjure.Constructors

Methods

expr1 :: Integer -> Expr

constructors :: Integer -> [Expr]

Constructors ()

Defined in Conjure.Constructors

Methods

expr1 :: () -> Expr

constructors :: () -> [Expr]

Express a => Constructors [a]

Defined in Conjure.Constructors

Methods

expr1 :: [a] -> Expr

constructors :: [a] -> [Expr]

Express a => Constructors (Maybe a)

Defined in Conjure.Constructors

Methods

expr1 :: Maybe a -> Expr

constructors :: Maybe a -> [Expr]

(Express a, Express b) => Constructors (Either a b)

Defined in Conjure.Constructors

Methods

expr1 :: Either a b -> Expr

constructors :: Either a b -> [Expr]

(Express a, Express b) => Constructors (a, b)

Defined in Conjure.Constructors

Methods

expr1 :: (a, b) -> Expr

constructors :: (a, b) -> [Expr]

(Express a, Express b, Express c) => Constructors (a, b, c)

Defined in Conjure.Constructors

Methods

expr1 :: (a, b, c) -> Expr

constructors :: (a, b, c) -> [Expr]

type Fxpr = [([Expr], Expr)]

class Typeable a => Fxpress a where

Minimal complete definition

Nothing

Methods

fvl :: Fxpr -> a

Instances

Fxpress Bool

Defined in Conjure.Constructors

Methods

fvl :: Fxpr -> Bool

Fxpress Char

Defined in Conjure.Constructors

Methods

fvl :: Fxpr -> Char

Fxpress Int

Defined in Conjure.Constructors

Methods

fvl :: Fxpr -> Int

Fxpress ()

Defined in Conjure.Constructors

Methods

fvl :: Fxpr -> ()

Fxpress a => Fxpress [a]

Defined in Conjure.Constructors

Methods

fvl :: Fxpr -> [a]

Fxpress a => Fxpress (Maybe a)

Defined in Conjure.Constructors

Methods

fvl :: Fxpr -> Maybe a

(Constructors a, Fxpress b) => Fxpress (a -> b)

Defined in Conjure.Constructors

Methods

fvl :: Fxpr -> a -> b

(Fxpress a, Fxpress b) => Fxpress (Either a b)

Defined in Conjure.Constructors

Methods

fvl :: Fxpr -> Either a b

sumFxpr :: Fxpr

factFxpr :: Fxpr

nullFxpr :: Fxpr

isZeroFxpr :: Fxpr