Application.TermSearch.Type

Documentation

data TypeSkeleton

Constructors

TVar Text

TFun TypeSkeleton TypeSkeleton

TCons Text [TypeSkeleton]

Instances

Eq TypeSkeleton

Defined in Application.TermSearch.Type

Methods

(==) :: TypeSkeleton -> TypeSkeleton -> Bool

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

Data TypeSkeleton

Defined in Application.TermSearch.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeSkeleton -> c TypeSkeleton

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeSkeleton

toConstr :: TypeSkeleton -> Constr

dataTypeOf :: TypeSkeleton -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeSkeleton)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeSkeleton)

gmapT :: (forall b. Data b => b -> b) -> TypeSkeleton -> TypeSkeleton

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeSkeleton -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeSkeleton -> r

gmapQ :: (forall d. Data d => d -> u) -> TypeSkeleton -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeSkeleton -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeSkeleton -> m TypeSkeleton

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSkeleton -> m TypeSkeleton

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSkeleton -> m TypeSkeleton

Ord TypeSkeleton

Defined in Application.TermSearch.Type

Methods

compare :: TypeSkeleton -> TypeSkeleton -> Ordering

(<) :: TypeSkeleton -> TypeSkeleton -> Bool

(<=) :: TypeSkeleton -> TypeSkeleton -> Bool

(>) :: TypeSkeleton -> TypeSkeleton -> Bool

(>=) :: TypeSkeleton -> TypeSkeleton -> Bool

max :: TypeSkeleton -> TypeSkeleton -> TypeSkeleton

min :: TypeSkeleton -> TypeSkeleton -> TypeSkeleton

Read TypeSkeleton

Defined in Application.TermSearch.Type

Methods

readsPrec :: Int -> ReadS TypeSkeleton

readList :: ReadS [TypeSkeleton]

readPrec :: ReadPrec TypeSkeleton

readListPrec :: ReadPrec [TypeSkeleton]

Show TypeSkeleton

Defined in Application.TermSearch.Type

Methods

showsPrec :: Int -> TypeSkeleton -> ShowS

show :: TypeSkeleton -> String

showList :: [TypeSkeleton] -> ShowS

Generic TypeSkeleton

Defined in Application.TermSearch.Type

Associated Types

type Rep TypeSkeleton :: Type -> Type

Methods

from :: TypeSkeleton -> Rep TypeSkeleton x

to :: Rep TypeSkeleton x -> TypeSkeleton

Hashable TypeSkeleton

Defined in Application.TermSearch.Type

Methods

hashWithSalt :: Int -> TypeSkeleton -> Int

hash :: TypeSkeleton -> Int

type Rep TypeSkeleton

Defined in Application.TermSearch.Type

type Rep TypeSkeleton = D1 ('MetaData "TypeSkeleton" "Application.TermSearch.Type" "ecta-1.0.0.3-GsgcdoZGkFZA4oJqDsbHRS" 'False) (C1 ('MetaCons "TVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "TFun" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeSkeleton) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeSkeleton)) :+: C1 ('MetaCons "TCons" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeSkeleton]))))

data Benchmark

Constructors

Benchmark

Fields

• bmName :: Text
• bmSize :: Int
• bmSolution :: Term
• bmArguments :: [(Text, TypeSkeleton)]
• bmGoalType :: TypeSkeleton

Instances

Eq Benchmark

Defined in Application.TermSearch.Type

Methods

(==) :: Benchmark -> Benchmark -> Bool

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

Ord Benchmark

Defined in Application.TermSearch.Type

Methods

compare :: Benchmark -> Benchmark -> Ordering

(<) :: Benchmark -> Benchmark -> Bool

(<=) :: Benchmark -> Benchmark -> Bool

(>) :: Benchmark -> Benchmark -> Bool

(>=) :: Benchmark -> Benchmark -> Bool

max :: Benchmark -> Benchmark -> Benchmark

min :: Benchmark -> Benchmark -> Benchmark

Read Benchmark

Defined in Application.TermSearch.Type

Methods

readsPrec :: Int -> ReadS Benchmark

readList :: ReadS [Benchmark]

readPrec :: ReadPrec Benchmark

readListPrec :: ReadPrec [Benchmark]

Show Benchmark

Defined in Application.TermSearch.Type

Methods

showsPrec :: Int -> Benchmark -> ShowS

show :: Benchmark -> String

showList :: [Benchmark] -> ShowS

type Argument = (Symbol, Node)

data Mode

Constructors

Normal

HKTV

Lambda

Instances

Eq Mode

Defined in Application.TermSearch.Type

Methods

(==) :: Mode -> Mode -> Bool

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

Data Mode

Defined in Application.TermSearch.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mode -> c Mode

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mode

toConstr :: Mode -> Constr

dataTypeOf :: Mode -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Mode)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mode)

gmapT :: (forall b. Data b => b -> b) -> Mode -> Mode

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mode -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mode -> r

gmapQ :: (forall d. Data d => d -> u) -> Mode -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Mode -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Mode -> m Mode

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Mode -> m Mode

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Mode -> m Mode

Ord Mode

Defined in Application.TermSearch.Type

Methods

compare :: Mode -> Mode -> Ordering

(<) :: Mode -> Mode -> Bool

(<=) :: Mode -> Mode -> Bool

(>) :: Mode -> Mode -> Bool

(>=) :: Mode -> Mode -> Bool

max :: Mode -> Mode -> Mode

min :: Mode -> Mode -> Mode

Show Mode

Defined in Application.TermSearch.Type

Methods

showsPrec :: Int -> Mode -> ShowS

show :: Mode -> String

showList :: [Mode] -> ShowS

Generic Mode

Defined in Application.TermSearch.Type

Associated Types

type Rep Mode :: Type -> Type

Methods

from :: Mode -> Rep Mode x

to :: Rep Mode x -> Mode

type Rep Mode

Defined in Application.TermSearch.Type

type Rep Mode = D1 ('MetaData "Mode" "Application.TermSearch.Type" "ecta-1.0.0.3-GsgcdoZGkFZA4oJqDsbHRS" 'False) (C1 ('MetaCons "Normal" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "HKTV" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Lambda" 'PrefixI 'False) (U1 :: Type -> Type)))

data AblationType

Constructors

Default

NoReduction

NoEnumeration

NoOptimize

Instances

Eq AblationType

Defined in Application.TermSearch.Type

Methods

(==) :: AblationType -> AblationType -> Bool

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

Data AblationType

Defined in Application.TermSearch.Type

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AblationType -> c AblationType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AblationType

toConstr :: AblationType -> Constr

dataTypeOf :: AblationType -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AblationType)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AblationType)

gmapT :: (forall b. Data b => b -> b) -> AblationType -> AblationType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AblationType -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AblationType -> r

gmapQ :: (forall d. Data d => d -> u) -> AblationType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AblationType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AblationType -> m AblationType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AblationType -> m AblationType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AblationType -> m AblationType

Ord AblationType

Defined in Application.TermSearch.Type

Methods

compare :: AblationType -> AblationType -> Ordering

(<) :: AblationType -> AblationType -> Bool

(<=) :: AblationType -> AblationType -> Bool

(>) :: AblationType -> AblationType -> Bool

(>=) :: AblationType -> AblationType -> Bool

max :: AblationType -> AblationType -> AblationType

min :: AblationType -> AblationType -> AblationType

Show AblationType

Defined in Application.TermSearch.Type

Methods

showsPrec :: Int -> AblationType -> ShowS

show :: AblationType -> String

showList :: [AblationType] -> ShowS

Generic AblationType

Defined in Application.TermSearch.Type

Associated Types

type Rep AblationType :: Type -> Type

Methods

from :: AblationType -> Rep AblationType x

to :: Rep AblationType x -> AblationType

type Rep AblationType

Defined in Application.TermSearch.Type

type Rep AblationType = D1 ('MetaData "AblationType" "Application.TermSearch.Type" "ecta-1.0.0.3-GsgcdoZGkFZA4oJqDsbHRS" 'False) ((C1 ('MetaCons "Default" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoReduction" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NoEnumeration" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoOptimize" 'PrefixI 'False) (U1 :: Type -> Type)))