(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => GenSym () (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.GenSym |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => GenSymSimple () (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.GenSym |
Lift (sa -~> sb :: Type) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => ToSym (UnionM (ca --> cb)) (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Control.Monad.UnionM |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => IsString (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => Show (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
NFData (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => Eq (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => EvaluateSym (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.EvaluateSym |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => ExtractSymbolics (sa -~> sb) Source # | |
|
(LinkedRep ca sa, LinkedRep ct st, Apply st, SupportedNonFuncPrim ca, SupportedPrim ct, SupportedPrim (ca --> ct)) => Apply (sa -~> st) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb) => GPretty (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.GPretty |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => ITEOp (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.ITEOp |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => Mergeable (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.Mergeable |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => SimpleMergeable (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SimpleMergeable |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => SubstituteSym (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.SubstituteSym |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => AllSyms (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(ConRep a, ConRep b) => ConRep (a -~> b) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => Hashable (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedNonFuncPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb, SupportedPrim (ca --> cb)) => Function (sa -~> sb) sa sb Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => GenSym (sa -~> sb) (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.GenSym |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => GenSymSimple (sa -~> sb) (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.GenSym |
(SupportedPrim ca, SupportedPrim cb, LinkedRep ca sa, LinkedRep cb sb, SupportedPrim (ca --> cb)) => Solvable (ca --> cb) (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
(SupportedPrim a, SupportedPrim b) => ToCon (a -~> b) (a -~> b) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.ToCon |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => ToCon (sa -~> sb) (ca --> cb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.ToCon |
(SupportedPrim (ca --> cb), LinkedRep ca sa, LinkedRep cb sb) => ToSym (ca --> cb) (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.ToSym |
(SupportedPrim a, SupportedPrim b) => ToSym (a -~> b) (a -~> b) Source # | |
Instance detailsDefined in Grisette.Internal.Core.Data.Class.ToSym |
(LinkedRep ca sa, LinkedRep cb sb, SupportedPrim ca, SupportedPrim cb, SupportedPrim (ca --> cb)) => LinkedRep (ca --> cb) (sa -~> sb) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
type FunType (sa -~> st) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |
type ConType (a -~> b) Source # | |
Instance detailsDefined in Grisette.Internal.SymPrim.SymGeneralFun |