Grisette.IR.SymPrim.Data.TabularFun

Documentation

data a =-> b infixr 0

Functions as a table. Use the # operator to apply the function.

>>> :set -XTypeOperators
>>> let f = TabularFun [(1, 2), (3, 4)] 0 :: Int =-> Int
>>> f # 1
2
>>> f # 2
0
>>> f # 3
4

Constructors

TabularFun

Fields

• funcTable :: [(a, b)]
• defaultFuncValue :: b

Instances

Generic1 ((=->) a :: Type -> Type)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Associated Types

type Rep1 ((=->) a) :: k -> Type

Methods

from1 :: forall (a0 :: k). (a =-> a0) -> Rep1 ((=->) a) a0

to1 :: forall (a0 :: k). Rep1 ((=->) a) a0 -> a =-> a0

(Lift a, Lift b) => Lift (a =-> b :: Type)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Methods

lift :: Quote m => (a =-> b) -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => (a =-> b) -> Code m (a =-> b)

NFData a => NFData1 ((=->) a)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Methods

liftRnf :: (a0 -> ()) -> (a =-> a0) -> ()

(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => ToSym (UnionM (ca =-> cb)) (sa =~> sb)

Defined in Grisette.Core.Control.Monad.UnionM

Methods

toSym :: UnionM (ca =-> cb) -> sa =~> sb

Generic (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Associated Types

type Rep (a =-> b) :: Type -> Type

Methods

from :: (a =-> b) -> Rep (a =-> b) x

to :: Rep (a =-> b) x -> a =-> b

(Show a, Show b) => Show (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Methods

showsPrec :: Int -> (a =-> b) -> ShowS

show :: (a =-> b) -> String

showList :: [a =-> b] -> ShowS

(NFData a, NFData b) => NFData (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Methods

rnf :: (a =-> b) -> ()

(Eq a, Eq b) => Eq (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Methods

(==) :: (a =-> b) -> (a =-> b) -> Bool

(/=) :: (a =-> b) -> (a =-> b) -> Bool

Eq a => Function (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Associated Types

type Arg (a =-> b)

type Ret (a =-> b)

Methods

(#) :: (a =-> b) -> Arg (a =-> b) -> Ret (a =-> b)

(SupportedPrim a, SupportedPrim b) => SupportedPrim (a =-> b)

Defined in Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term

Associated Types

type PrimConstraint (a =-> b)

Methods

withPrim :: proxy (a =-> b) -> (PrimConstraint (a =-> b) => a0) -> a0

termCache :: Cache (Term (a =-> b))

pformatCon :: (a =-> b) -> String

pformatSym :: TypedSymbol (a =-> b) -> String

defaultValue :: a =-> b

defaultValueDynamic :: proxy (a =-> b) -> ModelValue

(SymRep a, SymRep b) => SymRep (a =-> b)

Defined in Grisette.IR.SymPrim.Data.SymPrim

Associated Types

type SymType (a =-> b)

(Hashable a, Hashable b) => Hashable (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

Methods

hashWithSalt :: Int -> (a =-> b) -> Int

hash :: (a =-> b) -> Int

(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => Solvable (ca =-> cb) (sa =~> sb)

Defined in Grisette.IR.SymPrim.Data.SymPrim

Methods

con :: (ca =-> cb) -> sa =~> sb

conView :: (sa =~> sb) -> Maybe (ca =-> cb)

ssym :: Text -> sa =~> sb

isym :: Text -> Int -> sa =~> sb

sinfosym :: (Typeable a, Ord a, Lift a, NFData a, Show a, Hashable a) => Text -> a -> sa =~> sb

iinfosym :: (Typeable a, Ord a, Lift a, NFData a, Show a, Hashable a) => Text -> Int -> a -> sa =~> sb

(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => ToCon (sa =~> sb) (ca =-> cb)

Defined in Grisette.Core.Data.Class.ToCon

Methods

toCon :: (sa =~> sb) -> Maybe (ca =-> cb)

(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => ToSym (ca =-> cb) (sa =~> sb)

Defined in Grisette.Core.Data.Class.ToSym

Methods

toSym :: (ca =-> cb) -> sa =~> sb

(LinkedRep ca sa, LinkedRep cb sb) => LinkedRep (ca =-> cb) (sa =~> sb)

Defined in Grisette.IR.SymPrim.Data.SymPrim

Methods

underlyingTerm :: (sa =~> sb) -> Term (ca =-> cb)

wrapTerm :: Term (ca =-> cb) -> sa =~> sb

type Rep1 ((=->) a :: Type -> Type)

Defined in Grisette.IR.SymPrim.Data.TabularFun

type Rep1 ((=->) a :: Type -> Type) = D1 ('MetaData "=->" "Grisette.IR.SymPrim.Data.TabularFun" "grisette-0.4.0.0-5F7A5WnTQFOD12bFJitaFn" 'False) (C1 ('MetaCons "TabularFun" 'PrefixI 'True) (S1 ('MetaSel ('Just "funcTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (List :.: Rec1 ((,) a)) :*: S1 ('MetaSel ('Just "defaultFuncValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

type Rep (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

type Rep (a =-> b) = D1 ('MetaData "=->" "Grisette.IR.SymPrim.Data.TabularFun" "grisette-0.4.0.0-5F7A5WnTQFOD12bFJitaFn" 'False) (C1 ('MetaCons "TabularFun" 'PrefixI 'True) (S1 ('MetaSel ('Just "funcTable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(a, b)]) :*: S1 ('MetaSel ('Just "defaultFuncValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

type Arg (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

type Arg (a =-> b) = a

type Ret (a =-> b)

Defined in Grisette.IR.SymPrim.Data.TabularFun

type Ret (a =-> b) = b

type PrimConstraint (a =-> b)

Defined in Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term

type PrimConstraint (a =-> b) = (SupportedPrim a, SupportedPrim b)

type SymType (a =-> b)

Defined in Grisette.IR.SymPrim.Data.SymPrim

type SymType (a =-> b) = SymType a =~> SymType b