Safe Haskell	None
Language	Haskell2010

Application.TermSearch.Type

Documentation

data TypeSkeleton Source #

Constructors

TVar Text
TFun TypeSkeleton TypeSkeleton
TCons Text [TypeSkeleton]

Instances

Instances details

Eq TypeSkeleton Source #
Instance details Defined in Application.TermSearch.Type Methods (==) :: TypeSkeleton -> TypeSkeleton -> Bool # (/=) :: TypeSkeleton -> TypeSkeleton -> Bool #
Data TypeSkeleton Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Application.TermSearch.Type Methods readsPrec :: Int -> ReadS TypeSkeleton # readList :: ReadS [TypeSkeleton] # readPrec :: ReadPrec TypeSkeleton # readListPrec :: ReadPrec [TypeSkeleton] #
Show TypeSkeleton Source #
Instance details Defined in Application.TermSearch.Type Methods showsPrec :: Int -> TypeSkeleton -> ShowS # show :: TypeSkeleton -> String # showList :: [TypeSkeleton] -> ShowS #
Generic TypeSkeleton Source #
Instance details 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 Source #
Instance details Defined in Application.TermSearch.Type Methods hashWithSalt :: Int -> TypeSkeleton -> Int # hash :: TypeSkeleton -> Int #
type Rep TypeSkeleton Source #
Instance details 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 Source #

Constructors

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

Instances

Instances details

Eq Benchmark Source #
Instance details Defined in Application.TermSearch.Type Methods (==) :: Benchmark -> Benchmark -> Bool # (/=) :: Benchmark -> Benchmark -> Bool #
Ord Benchmark Source #
Instance details 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 Source #
Instance details Defined in Application.TermSearch.Type Methods readsPrec :: Int -> ReadS Benchmark # readList :: ReadS [Benchmark] # readPrec :: ReadPrec Benchmark # readListPrec :: ReadPrec [Benchmark] #
Show Benchmark Source #
Instance details Defined in Application.TermSearch.Type Methods showsPrec :: Int -> Benchmark -> ShowS # show :: Benchmark -> String # showList :: [Benchmark] -> ShowS #

type Argument = (Symbol, Node) Source #

data Mode Source #

Constructors

Normal
HKTV
Lambda

Instances

Instances details

Eq Mode Source #
Instance details Defined in Application.TermSearch.Type Methods (==) :: Mode -> Mode -> Bool # (/=) :: Mode -> Mode -> Bool #
Data Mode Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Application.TermSearch.Type Methods showsPrec :: Int -> Mode -> ShowS # show :: Mode -> String # showList :: [Mode] -> ShowS #
Generic Mode Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

Default
NoReduction
NoEnumeration
NoOptimize

Instances

Instances details

Eq AblationType Source #
Instance details Defined in Application.TermSearch.Type Methods (==) :: AblationType -> AblationType -> Bool # (/=) :: AblationType -> AblationType -> Bool #
Data AblationType Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Application.TermSearch.Type Methods showsPrec :: Int -> AblationType -> ShowS # show :: AblationType -> String # showList :: [AblationType] -> ShowS #
Generic AblationType Source #
Instance details 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 Source #
Instance details 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)))