Safe Haskell	Safe-Inferred
Language	Haskell2010

Constrained.Core

Contents

Orphan instances

Synopsis

data Var a = Var {
- nameOf ∷ Int
- nameHint ∷ String
}
eqVar ∷ ∀ a a'. (Typeable a, Typeable a') ⇒ Var a → Var a' → Maybe (a :~: a')
class Rename a where
- rename ∷ Typeable x ⇒ Var x → Var x → a → a
freshVar ∷ Var a → Set Int → Var a
freshen ∷ (Typeable a, Rename t) ⇒ Var a → t → Set Int → (Var a, t)
data Value a where
- Value ∷ Show a ⇒ !a → Value a
unValue ∷ Value a → a
data NonEmpty a = a :| [a]
data Evidence c where
- Evidence ∷ c ⇒ Evidence c
unionWithMaybe ∷ (a → a → a) → Maybe a → Maybe a → Maybe a

Documentation

data Var a Source #

Constructors

Var
Fields nameOf ∷ Int nameHint ∷ String

Instances

Instances details

Show (Var a) Source #
Instance details Defined in Constrained.Core Methods showsPrec ∷ Int → Var a → ShowS # show ∷ Var a → String # showList ∷ [Var a] → ShowS #
Typeable a ⇒ Rename (Var a) Source #
Instance details Defined in Constrained.Core Methods rename ∷ Typeable x ⇒ Var x → Var x → Var a → Var a Source #
Eq (Var a) Source #
Instance details Defined in Constrained.Core Methods (==) ∷ Var a → Var a → Bool # (/=) ∷ Var a → Var a → Bool #
Ord (Var a) Source #
Instance details Defined in Constrained.Core Methods compare ∷ Var a → Var a → Ordering # (<) ∷ Var a → Var a → Bool # (<=) ∷ Var a → Var a → Bool # (>) ∷ Var a → Var a → Bool # (>=) ∷ Var a → Var a → Bool # max ∷ Var a → Var a → Var a # min ∷ Var a → Var a → Var a #
Pretty (Var a) Source #
Instance details Defined in Constrained.Syntax Methods pretty ∷ Var a → Doc ann Source # prettyList ∷ [Var a] → Doc ann Source #

eqVar ∷ ∀ a a'. (Typeable a, Typeable a') ⇒ Var a → Var a' → Maybe (a :~: a') Source #

class Rename a where Source #

Methods

rename ∷ Typeable x ⇒ Var x → Var x → a → a Source #

Instances

Instances details

Rename Pred Source #
Instance details Defined in Constrained.Syntax Methods rename ∷ Typeable x ⇒ Var x → Var x → Pred → Pred Source #
Rename Name Source #
Instance details Defined in Constrained.Syntax Methods rename ∷ Typeable x ⇒ Var x → Var x → Name → Name Source #
Rename () Source #
Instance details Defined in Constrained.Core Methods rename ∷ Typeable x ⇒ Var x → Var x → () → () Source #
Rename (Binder a) Source #
Instance details Defined in Constrained.Syntax Methods rename ∷ Typeable x ⇒ Var x → Var x → Binder a → Binder a Source #
Rename (Term a) Source #
Instance details Defined in Constrained.Syntax Methods rename ∷ Typeable x ⇒ Var x → Var x → Term a → Term a Source #
Typeable a ⇒ Rename (Var a) Source #
Instance details Defined in Constrained.Core Methods rename ∷ Typeable x ⇒ Var x → Var x → Var a → Var a Source #
(Ord a, Rename a) ⇒ Rename (Set a) Source #
Instance details Defined in Constrained.Core Methods rename ∷ Typeable x ⇒ Var x → Var x → Set a → Set a Source #
(Functor t, Rename a) ⇒ Rename (t a) Source #
Instance details Defined in Constrained.Core Methods rename ∷ Typeable x ⇒ Var x → Var x → t a → t a Source #
Rename (f a) ⇒ Rename (Weighted f a) Source #
Instance details Defined in Constrained.Syntax Methods rename ∷ Typeable x ⇒ Var x → Var x → Weighted f a → Weighted f a Source #
(Rename a, Rename b) ⇒ Rename (a, b) Source #
Instance details Defined in Constrained.Core Methods rename ∷ Typeable x ⇒ Var x → Var x → (a, b) → (a, b) Source #
(∀ a. Rename (f a)) ⇒ Rename (List f as) Source #
Instance details Defined in Constrained.Core Methods rename ∷ Typeable x ⇒ Var x → Var x → List f as → List f as Source #

freshVar ∷ Var a → Set Int → Var a Source #

freshen ∷ (Typeable a, Rename t) ⇒ Var a → t → Set Int → (Var a, t) Source #

data Value a where Source #

Constructors

Value ∷ Show a ⇒ !a → Value a

Instances

Instances details

Show (Value a) Source #
Instance details Defined in Constrained.Core Methods showsPrec ∷ Int → Value a → ShowS # show ∷ Value a → String # showList ∷ [Value a] → ShowS #
Eq a ⇒ Eq (Value a) Source #
Instance details Defined in Constrained.Core Methods (==) ∷ Value a → Value a → Bool # (/=) ∷ Value a → Value a → Bool #
Ord a ⇒ Ord (Value a) Source #
Instance details Defined in Constrained.Core Methods compare ∷ Value a → Value a → Ordering # (<) ∷ Value a → Value a → Bool # (<=) ∷ Value a → Value a → Bool # (>) ∷ Value a → Value a → Bool # (>=) ∷ Value a → Value a → Bool # max ∷ Value a → Value a → Value a # min ∷ Value a → Value a → Value a #

unValue ∷ Value a → a Source #

data NonEmpty a #

Non-empty (and non-strict) list type.

Since: base-4.9.0.0

Constructors

a :| [a] infixr 5

Instances

Instances details

Foldable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold ∷ Monoid m ⇒ NonEmpty m → m # foldMap ∷ Monoid m ⇒ (a → m) → NonEmpty a → m # foldMap' ∷ Monoid m ⇒ (a → m) → NonEmpty a → m # foldr ∷ (a → b → b) → b → NonEmpty a → b # foldr' ∷ (a → b → b) → b → NonEmpty a → b # foldl ∷ (b → a → b) → b → NonEmpty a → b # foldl' ∷ (b → a → b) → b → NonEmpty a → b # foldr1 ∷ (a → a → a) → NonEmpty a → a # foldl1 ∷ (a → a → a) → NonEmpty a → a # toList ∷ NonEmpty a → [a] # null ∷ NonEmpty a → Bool # length ∷ NonEmpty a → Int # elem ∷ Eq a ⇒ a → NonEmpty a → Bool # maximum ∷ Ord a ⇒ NonEmpty a → a # minimum ∷ Ord a ⇒ NonEmpty a → a # sum ∷ Num a ⇒ NonEmpty a → a # product ∷ Num a ⇒ NonEmpty a → a #
Traversable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse ∷ Applicative f ⇒ (a → f b) → NonEmpty a → f (NonEmpty b) # sequenceA ∷ Applicative f ⇒ NonEmpty (f a) → f (NonEmpty a) # mapM ∷ Monad m ⇒ (a → m b) → NonEmpty a → m (NonEmpty b) # sequence ∷ Monad m ⇒ NonEmpty (m a) → m (NonEmpty a) #
Applicative NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods pure ∷ a → NonEmpty a # (<>) ∷ NonEmpty (a → b) → NonEmpty a → NonEmpty b # liftA2 ∷ (a → b → c) → NonEmpty a → NonEmpty b → NonEmpty c # (>) ∷ NonEmpty a → NonEmpty b → NonEmpty b # (<*) ∷ NonEmpty a → NonEmpty b → NonEmpty a #
Functor NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods fmap ∷ (a → b) → NonEmpty a → NonEmpty b # (<$) ∷ a → NonEmpty b → NonEmpty a #
Monad NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (>>=) ∷ NonEmpty a → (a → NonEmpty b) → NonEmpty b # (>>) ∷ NonEmpty a → NonEmpty b → NonEmpty b # return ∷ a → NonEmpty a #
NFData1 NonEmpty	Since: deepseq-1.4.3.0
Instance details Defined in Control.DeepSeq Methods liftRnf ∷ (a → ()) → NonEmpty a → () #
Generic1 NonEmpty
Instance details Defined in GHC.Generics Associated Types type Rep1 NonEmpty ∷ k → Type # Methods from1 ∷ ∀ (a ∷ k). NonEmpty a → Rep1 NonEmpty a # to1 ∷ ∀ (a ∷ k). Rep1 NonEmpty a → NonEmpty a #
Lift a ⇒ Lift (NonEmpty a ∷ Type)	Since: template-haskell-2.15.0.0
Instance details Defined in Language.Haskell.TH.Syntax Methods lift ∷ Quote m ⇒ NonEmpty a → m Exp # liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ NonEmpty a → Code m (NonEmpty a) #
Arbitrary a ⇒ Arbitrary (NonEmpty a) Source #
Instance details Defined in Constrained.Core Methods arbitrary ∷ Gen (NonEmpty a) Source # shrink ∷ NonEmpty a → [NonEmpty a] Source #
Semigroup (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (<>) ∷ NonEmpty a → NonEmpty a → NonEmpty a # sconcat ∷ NonEmpty (NonEmpty a) → NonEmpty a # stimes ∷ Integral b ⇒ b → NonEmpty a → NonEmpty a #
Generic (NonEmpty a)
Instance details Defined in GHC.Generics Associated Types type Rep (NonEmpty a) ∷ Type → Type # Methods from ∷ NonEmpty a → Rep (NonEmpty a) x # to ∷ Rep (NonEmpty a) x → NonEmpty a #
IsList (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.IsList Associated Types type Item (NonEmpty a) # Methods fromList ∷ [Item (NonEmpty a)] → NonEmpty a # fromListN ∷ Int → [Item (NonEmpty a)] → NonEmpty a # toList ∷ NonEmpty a → [Item (NonEmpty a)] #
Read a ⇒ Read (NonEmpty a)	Since: base-4.11.0.0
Instance details Defined in GHC.Read Methods readsPrec ∷ Int → ReadS (NonEmpty a) # readList ∷ ReadS [NonEmpty a] # readPrec ∷ ReadPrec (NonEmpty a) # readListPrec ∷ ReadPrec [NonEmpty a] #
Show a ⇒ Show (NonEmpty a)	Since: base-4.11.0.0
Instance details Defined in GHC.Show Methods showsPrec ∷ Int → NonEmpty a → ShowS # show ∷ NonEmpty a → String # showList ∷ [NonEmpty a] → ShowS #
NFData a ⇒ NFData (NonEmpty a)	Since: deepseq-1.4.2.0
Instance details Defined in Control.DeepSeq Methods rnf ∷ NonEmpty a → () #
Eq a ⇒ Eq (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (==) ∷ NonEmpty a → NonEmpty a → Bool # (/=) ∷ NonEmpty a → NonEmpty a → Bool #
Ord a ⇒ Ord (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods compare ∷ NonEmpty a → NonEmpty a → Ordering # (<) ∷ NonEmpty a → NonEmpty a → Bool # (<=) ∷ NonEmpty a → NonEmpty a → Bool # (>) ∷ NonEmpty a → NonEmpty a → Bool # (>=) ∷ NonEmpty a → NonEmpty a → Bool # max ∷ NonEmpty a → NonEmpty a → NonEmpty a # min ∷ NonEmpty a → NonEmpty a → NonEmpty a #
Pretty a ⇒ Pretty (NonEmpty a)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ NonEmpty a → Doc ann Source # prettyList ∷ [NonEmpty a] → Doc ann Source #
type Rep1 NonEmpty	Since: base-4.6.0.0
Instance details Defined in GHC.Generics type Rep1 NonEmpty = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":\|" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1 :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 List)))
type Rep (NonEmpty a)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics type Rep (NonEmpty a) = D1 ('MetaData "NonEmpty" "GHC.Base" "base" 'False) (C1 ('MetaCons ":\|" ('InfixI 'RightAssociative 5) 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [a])))
type Item (NonEmpty a)
Instance details Defined in GHC.IsList type Item (NonEmpty a) = a

data Evidence c where Source #

Constructors

Evidence ∷ c ⇒ Evidence c

Instances

Instances details

Typeable c ⇒ Show (Evidence c) Source #
Instance details Defined in Constrained.Core Methods showsPrec ∷ Int → Evidence c → ShowS # show ∷ Evidence c → String # showList ∷ [Evidence c] → ShowS #

unionWithMaybe ∷ (a → a → a) → Maybe a → Maybe a → Maybe a Source #

Orphan instances

Arbitrary a ⇒ Arbitrary (NonEmpty a) Source #
Instance details Methods arbitrary ∷ Gen (NonEmpty a) Source # shrink ∷ NonEmpty a → [NonEmpty a] Source #